context:     disableDebugger: function()    {        if (!enabledDebugger)            return;		        timer.init({observe: function()        {            enabledDebugger = false;            jsd.pause();            fbs.unhookScripts();            fbs.unhookTopLevel();        }}, 1000, TYPE_ONE_SHOT);                waitingForTimer = true;    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/be05bb1b5ce9dc07f6f4f994ca42945edd646c04/firebug-service.js/clean/extension/components/firebug-service.js