rem: dumpStream.flush(); 
add: if (fbs.DBG_FLUSH_EVERY_LINE) dumpStream.flush(); 
context: function dumpToFileWithStack(text, frame){    if (!dumpStream) dumpStream = createDumpStream();    dumpStream.write(text, text.length);    text = " stack: \n";    while(frame) {        text += frame.line+"@"+frame.script.fileName + "\n";        frame = frame.callingFrame;    }    text += "-------------------------------------\n";    dumpStream.write(text, text.length);    dumpStream.flush();}
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/0b4cffb8887a120a0e79a8d2d3ac4960d93c61a3/firebug-service.js/clean/extension/components/firebug-service.js