context:   this.start = function() {    GM_log("> ScriptDownloader.start");    try {      if(dm.addDownload.length == 8) {       dm.addDownload(0, sourceUri, targetUri, parseScriptName(sourceUri), null, null, null, persist)      } else {        dm.addDownload(sourceUri, targetUri, parseScriptName(sourceUri), null, null, persist);      }      download = dm.getDownload(targetFile.path);      try {        dm.open(window._content, targetFile.path)      } catch (e) {        dm.open(window, download)      }      persist.progressListener = download;      persist.saveURI(sourceUri, null, null, null, null, targetFile);      // this seems like a huge hack, but it was actually the most reliable      // way I could find to determine when downloading is complete      timerId = window.setInterval(checkLoad, 200);    }    catch (e) {      handleErrors(e);    }    GM_log("< ScriptDownloader.start");  }
meta: 9744	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9744/db607fc3a5f7b9ef6a77015319d0c7782c863d33/scriptdownloader.js/clean/src/content/scriptdownloader.js