Global.helma.Http.setProxy (proxyString)
set global http proxy

Sourcecode in /home/hannes/helma/modules/helma/Http.js:
276:   helma.Http.setProxy = function(proxyString) {
277:       var sys = java.lang.System.getProperties();
278:       if (proxyString) {
279:           var idx = proxyString.indexOf(":");
280:           var host = proxyString.substring(0, idx);
281:           var port = proxyString.substring(idx+1);
282:           if (!port)
283:               port = "3128";
284:           else if (typeof port == "number")
285:              port = port.toString();
286:          app.log("helma.Http.setProxy " + proxyString);
287:          sys.put("http.proxySet", "true");
288:          sys.put("http.proxyHost", host);
289:          sys.put("http.proxyPort", port);
290:      } else {
291:          sys.put("http.proxySet", "false");
292:          sys.put("http.proxyHost", "");
293:          sys.put("http.prodyPort", "");
294:      }
295:      return;
296:      
297:  }