rem: autoupdateURLTypeString   = autoupdateURLTypeString + crl.nameInDb; 
context: function onLoad(){  certdb = Components.classes[nsX509CertDB].getService(nsIX509CertDB);  var pkiParams = window.arguments[0].QueryInterface(nsIPKIParamBlock);    var isupport = pkiParams.getISupportAtIndex(1);  crl = isupport.QueryInterface(nsICrlEntry);  autoupdateEnabledString    = autoupdateEnabledString + crl.nameInDb;  autoupdateTimeTypeString  = autoupdateTimeTypeString + crl.nameInDb;  autoupdateTimeString      = autoupdateTimeString + crl.nameInDb;  autoupdateURLTypeString   = autoupdateURLTypeString + crl.nameInDb;  autoupdateDayCntString    = autoupdateDayCntString + crl.nameInDb;  autoupdateFreqCntString   = autoupdateFreqCntString + crl.nameInDb;  autoupdateURLString       = autoupdateURLString + crl.nameInDb;  autoupdateErrCntString    = autoupdateErrCntString + crl.nameInDb;  autoupdateErrDetailString = autoupdateErrDetailString + crl.nameInDb;  bundle = srGetStrBundle("chrome://pippki/locale/pippki.properties");  prefs = Components.classes["@mozilla.org/preferences;1"].getService(nsIPref);  menuList = document.getElementById("urlTypes");  updateTypeRadio = document.getElementById("autoUpdateType");  enabledCheckBox = document.getElementById("enableCheckBox");  timeBasedRadio = document.getElementById("timeBasedRadio");  freqBasedRadio = document.getElementById("freqBasedRadio");  //Read the existing prefs, if any  initializeSelection();  //Set Values for the update url  updateSelectedURLControls();  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/432f3e947ff0b53c7a4c805bca711c968f0aa021/pref-crlupdate.js/clean/security/manager/pki/resources/content/pref-crlupdate.js