rem: if(!fbs) return; var scriptTag = script.tag; if (scriptTag in this.scriptInfoByTag) { var scriptInfo = this.scriptInfoByTag[scriptTag]; var url = scriptInfo.url; if (url in this.scriptInfoArrayByURL) { if (fbs.DBG_CREATION) ddd("onScriptDestroyed tag:"+scriptTag+" url:"+url+"\n");                        				/*@explore*/ remove(this.scriptInfoArrayByURL[url], scriptInfo); } else if (fbs.DBG_CREATION) ddd("onScriptDestroyed tag:"+scriptTag+" no scriptInfo; fileName:"+script.fileName+"\n");      /*@explore*/  delete this.scriptInfoByTag[scriptTag]; }  
context:     onScriptDestroyed: function(script)    {        if(!fbs) return;        var scriptTag = script.tag;        if (scriptTag in this.scriptInfoByTag)        {            var scriptInfo = this.scriptInfoByTag[scriptTag];            var url = scriptInfo.url;            if (url in this.scriptInfoArrayByURL)            {                if (fbs.DBG_CREATION) ddd("onScriptDestroyed tag:"+scriptTag+" url:"+url+"\n");                        				/*@explore*/                remove(this.scriptInfoArrayByURL[url], scriptInfo);            }            else                if (fbs.DBG_CREATION) ddd("onScriptDestroyed tag:"+scriptTag+" no scriptInfo; fileName:"+script.fileName+"\n");      /*@explore*/            delete this.scriptInfoByTag[scriptTag];        }        dispatch(scriptListeners,"onScriptDestroyed",[script]);    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/76449ef4d8385610e64112c53410246cfda12c62/firebug-service.js/clean/extension/components/firebug-service.js