Una breve descarga Groovy a través de un proxy
Pasa las propiedades del proxy al proceso Groovy que realiza la descarga de URL, con esperas limitadas de conexión y lectura.
Para un script Groovy que usa la conexión HTTP URL del JDK, proporciona el proxy al iniciar ese proceso:
groovy -Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 fetch.groovyUn pequeño fetch.groovy puede leer después un recurso de texto:
def url = new URL('http://example.com/')
println url.getText(connectTimeout: 5000, readTimeout: 10000)El extremo es ilustrativo; sustitúyelo por un candidato no autenticado de la lista de proxies HTTP para esta descarga pública de texto HTTP. La propiedad de host contiene un nombre de host, y el puerto es una propiedad propia. Para un destino HTTPS, configura https.proxyHost y https.proxyPort para el extremo que debe transportarlo.
-D define una propiedad de sistema de la JVM; no es una asignación de entorno del shell. Pon las opciones en la invocación de Groovy que ejecuta este script. Un inicio independiente desde el IDE o un servicio pueden arrancar otro proceso con valores distintos.
getText recoge la respuesta en una cadena. Sirve para una descarga pequeña de texto; una descarga grande requiere streaming en lugar de retener todo el resultado en memoria.