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.

Gerelateerde artikelen