rem: if (currentFile == fileIndex) 
add: if (currentFile == fileIndex || force) 
context: function updateFileSource(source, url, force){    var fileIndex = filesLookup[url];    if (!fileIndex || !source.length)        return;    var file = files[fileIndex];    if (force || file.source.length != source.length || file.source != source) {        file.source = source;        file.loaded = false;        if (file.element) {            file.element.parentNode.removeChild(file.element);            file.element = null;        }        if (currentFile == fileIndex)            loadFile(fileIndex, false);    }}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/8136612719d51409e84f59116a64e64bda40e68a/debugger.js/buggy/WebKitTools/Drosera/debugger.js