Global.helma.Http.getProxy ()
return global proxy settings

Sourcecode in /home/hannes/helma/modules/helma/Http.js:
303:   helma.Http.getProxy = function() {
304:       var sys = java.lang.System.getProperties();
305:       if (sys.get("http.proxySet") == "true")
306:           return sys.get("http.proxyHost") + ":" + sys.get("http.proxyPort");
307:       return false;
308:   }