| Hi Stu - welcome back!
I'm not sure if this is exactly what you want, but I got it from
http://millicent.pa.dec.com/millicent/pac/olo.pac
var local = "PROXY www-proxy.olo.dec.com:8080";
var zone = 3;
// don't edit below this line
var PaloAlto = "PROXY www-proxy.pa.dec.com:8080;" +
"PROXY www-proxy1.pa.dec.com:8080";
var EastCoast = "PROXY www-proxy.crl.dec.com:8080;" +
"PROXY www-proxy.das-x.dec.com:8080";
var Colorado = "PROXY www-proxy.csc.cxo.dec.com:8080;" +
"PROXY www-proxy.cxo.dec.com:8080";
var Europe = "PROXY www-proxy.vbe.dec.com:8080";
var NumFirewalls = 4;
var Australia = "PROXY www-proxy.cao.dec.com:8080" +
"PROXY www-proxy.stl.dec.com:8080;" +
"PROXY www-proxy.sno.dec.com:8080;" +
"PROXY www-proxy.sna.dec.com:8080;" +
"PROXY www-proxy.shl.dec.com:8080;" +
"PROXY www-proxy.cao.dec.com:8080;" +
"PROXY www-proxy.meo.dec.com:8080;" +
"PROXY soppy.sop.dec.com:8080";
var Japan = "PROXY www-proxy.dec-j.co.jp:8080";
function initZones() {
this[0] = PaloAlto;
this[1] = EastCoast;
this[2] = Colorado;
this[3] = Europe;
this[4] = Australia;
this[5] = Japan;
this.length = 6;
}
var zones = new initZones();
function LocalProxy() {
return local + ";" + zones[zone];
}
function FirewallProxy() {
var res = zones[0];
var i;
for (i = 1; i < NumFirewalls; i++)
res = res + ";" + zones[i];
return res;
}
function StdFindProxyForURL(url, host)
{
if (isPlainHostName(host) || host == "127.0.0.1" ||
(dnsDomainIs(host, ".dec.com") &&
!dnsDomainIs(host, "-x.dec.com")))
return "DIRECT";
else
return LocalProxy() + ";" + FirewallProxy();
}
function FindProxyForURL(url, host) {
if (shExpMatch(url, "http://srcpc128.pa.dec.com:[123]18?/*")) {
return "PROXY millicent.pa.dec.com:1180";
} else if (shExpMatch(url, "http://*:[123]18?/*")) {
return "PROXY " + host +":1180";
} else
return StdFindProxyForURL(url, host);
}
|