Admin:HTTP proxy

We use an HTTP proxy to allow internal machines to access the Internet (e.g. for downloading patches). This runs on ha-proxy.esi:8080, and can be used without authorisation, e.g.:

% export https_proxy=http://ha-proxy.esi:8080 % pca -l

The proxy is Sun Java System Proxy Server, running on the HA cluster in the 'proxy' resource group. The installation directory is /global/misc/proxy.