rem: inputStream.init(theFile, 1, 0); 
add: inputStream.init(theFile, 1, 0, false); 
context: function EditorExecuteScript(theFile){  var inputStream = Components.classes["@mozilla.org/network/file-input-stream;1"].createInstance();  inputStream = inputStream.QueryInterface(Components.interfaces.nsIFileInputStream);  inputStream.init(theFile, 1, 0);    // open read only    var scriptableInputStream = Components.classes["@mozilla.org/scriptableinputstream;1"].createInstance();  scriptableInputStream = scriptableInputStream.QueryInterface(Components.interfaces.nsIScriptableInputStream);    scriptableInputStream.init(inputStream);    // open read only    var buf         = { value:null };  var tmpBuf      = { value:null };  var didTruncate = { value:false };  var lineNum     = 0;  var ex;/*  // Log files can be quite huge, so read in a line  // at a time and execute it:  while (!inputStream.eof())  {    buf.value         = "";    didTruncate.value = true;    // Keep looping until we get a complete line of    // text, or we hit the end of file:    while (didTruncate.value && !inputStream.eof())    {      didTruncate.value = false;      fileSpec.readLine(tmpBuf, 1024, didTruncate);      buf.value += tmpBuf.value;      // XXX Need to null out tmpBuf.value to avoid crashing      // XXX in some JavaScript string allocation method.      // XXX This is probably leaking the buffer allocated      // XXX by the readLine() implementation.      tmpBuf.value = null;    }    ++lineNum;*/  {    // suck in the entire file    var fileSize = scriptableInputStream.available();    var fileContents = scriptableInputStream.read(fileSize);        dump(fileContents);        try       { eval(fileContents); }    catch(ex) { dump("Playback ERROR: Line " + lineNum + "  " + ex + "\n"); return; }  }  buf.value = null;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d48e37c68f2d64f01013208de817ebb25180ede5/EditorCommandsDebug.js/buggy/editor/ui/composer/content/EditorCommandsDebug.js