Un breve recupero Groovy attraverso un proxy
Passa le proprietà del proxy al processo Groovy che esegue il download di un URL, con attese limitate di connessione e lettura.
Per uno script Groovy che usa la connessione HTTP URL del JDK, fornisci il proxy all'avvio di quel processo:
groovy -Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 fetch.groovy
Un piccolo fetch.groovy può poi leggere una risorsa di testo:
def url = new URL('http://example.com/')
println url.getText(connectTimeout: 5000, readTimeout: 10000)
L'endpoint è illustrativo; sostituiscilo con un candidato non autenticato dalla lista di proxy HTTP per questo recupero pubblico di testo HTTP. La proprietà host contiene un nome host, e la porta è una proprietà a sé. Per una destinazione HTTPS, configura https.proxyHost e https.proxyPort per l'endpoint destinato a trasportarla.
-D definisce una proprietà di sistema della JVM; non è un'assegnazione di variabile d'ambiente della shell. Metti le opzioni sull'invocazione Groovy che esegue questo script. Un avvio separato dall'IDE o un servizio possono avviare un altro processo con valori diversi.
getText raccoglie la risposta in una stringa. È adatto a un piccolo recupero di testo; un download grande richiede lo streaming invece di tenere l'intero risultato in memoria.