rem: var pps = Components.classes["@mozilla.org/network/protocol-proxy-service;1"] .getService(nsPIProtocolProxyService); pps.configureFromPAC(autoURL.value); 
add:   Components.classes["@mozilla.org/network/protocol-proxy-service;1"]. getService().reloadPAC(); 
context: function ReloadPAC() {  var pps = Components.classes["@mozilla.org/network/protocol-proxy-service;1"]                       .getService(nsPIProtocolProxyService);  pps.configureFromPAC(autoURL.value);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0eabdc62eb589e9dc6165122b783e549fe7b3487/pref-proxies.js/clean/suite/common/pref/pref-proxies.js