rem: setDisabled(this.fileName); 
add: throw e; 
context:         disable: function() {            if(!this.enabled)                return;            try {                this.stop();            } catch(e) {                dump('Error while initializing scriptlet: ' + e.name + '\n' +                     e.stack.replace(/^/mg, '    ') + '\n');            } finally {                this.unload();                setDisabled(this.fileName);            }        }
meta: 1705	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1705/1a0c3b855fdf979184769ca40cd1389a4a9407bf/scriptlets.js/clean/chrome/content/scriptlets.js