O scurtă extragere Groovy printr-un proxy
Transmite proprietățile proxy procesului Groovy care efectuează descărcarea unui URL, cu așteptări limitate pentru conexiune și citire.
Pentru un script Groovy care folosește conexiunea HTTP URL a JDK, furnizează proxy-ul la pornirea acelui proces:
groovy -Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 fetch.groovyUn mic fetch.groovy poate apoi citi o resursă text:
def url = new URL('http://example.com/')
println url.getText(connectTimeout: 5000, readTimeout: 10000)Punctul final este ilustrativ; înlocuiește-l cu un candidat neautentificat din lista de proxy HTTP pentru această extragere publică de text HTTP. Proprietatea de host conține un nume de gazdă, iar portul este o proprietate separată. Pentru o destinație HTTPS, configurează https.proxyHost și https.proxyPort pentru punctul final care ar trebui să îl transporte.
-D definește o proprietate de sistem a JVM; nu este o atribuire de variabilă de mediu din shell. Pune opțiunile pe apelul Groovy care rulează acest script. O lansare separată din IDE sau un serviciu pot porni un alt proces cu valori diferite.
getText adună răspunsul într-un șir. Este potrivit pentru o extragere mică de text; o descărcare mare cere streaming în loc să țină tot rezultatul în memorie.