if (currentFile == fileIndex) 
if (currentFile == fileIndex || force) 
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);    }}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/af2bec75d8a1b74c4e9ea606f3bf3473b9271118/debugger.js/buggy/WebKitTools/Drosera/debugger.js