Translate http_proxy and https_proxy environment variables into jvm flags

[leeavital]

Occasionally we'll set http_proxy environment variables, which are not respected by the JVM.

Usually I'll manually set -DhttpProxy.hostname and -DhttpProxy.port manually, but it would be nice if the init.sh script could support this.

[leeavital]

An alternative is to call System.setProperty() upon startup when those environment variables are set. It's not immediately clear which is preferable.

[uschi2000]

Does the launcher config not suffice for this?

[leeavital]

I'm working around it by hardcoding the proxy values in the launcher-config, but this is something I'll have to repeat every time I add a service.