Global.helma.Http.setUserAgent (agent)
getter/setter for user agent string

Sourcecode in /home/hannes/helma/modules/helma/Http.js:
160:   this.setUserAgent = function(agent) {
161:           userAgent = agent;
162:           return true;
163:       }