Een korte Groovy-ophaling via een proxy
Geef proxy-eigenschappen door aan het Groovy-proces dat een URL-download uitvoert, met begrensde wachttijden voor verbinding en lezen.
Voor een Groovy-script dat de HTTP URL-verbinding van de JDK gebruikt, geef je de proxy op bij het starten van dat proces:
groovy -Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 fetch.groovy
Een klein fetch.groovy kan dan een tekstbron lezen:
def url = new URL('http://example.com/')
println url.getText(connectTimeout: 5000, readTimeout: 10000)
Het eindpunt is illustratief; vervang het door een niet-geauthenticeerde kandidaat uit de HTTP-proxylijst voor deze openbare HTTP-tekstoproep. De host-eigenschap bevat een hostnaam, en de poort is een eigen eigenschap. Voor een HTTPS-bestemming configureer je https.proxyHost en https.proxyPort voor het eindpunt dat het moet dragen.
-D definieert een JVM-systeemeigenschap; het is geen toewijzing van een shell-omgevingsvariabele. Zet de opties op de Groovy-aanroep die dit script uitvoert. Een aparte IDE-start of dienst kan een ander proces met andere waarden starten.
getText verzamelt de respons in een tekenreeks. Het past bij een kleine tekstoproep; een grote download vraagt om streaming in plaats van het hele resultaat in het geheugen te houden.