if(params.path === null) { 
/* Errors are from * http: if(params.exception == 'NS_ERROR_FILE_INVALID_PATH' || params.exception == 'NS_ERROR_FILE_UNRECOGNIZED_PATH' || params.exception == 'NS_ERROR_FILE_TARGET_DOES_NOT_EXIST' || params.exception == 'NS_ERROR_FILE_INVALID_PATH' || params.exception == 'NS_ERROR_FILE_NOT_FOUND' || params.exception == 'NS_ERROR_FILE_NAME_TOO_LONG' ) { textnode = locale.getFormattedString('bad.noent', [params.path]); } else if(params.exception == 'NS_ERROR_FILE_ACCESS_DENIED' || params.exception == 'NS_ERROR_FILE_IS_DIRECTORY' || params.exception == 'NS_ERROR_FILE_IS_LOCKED' ) { textnode = locale.getFormattedString('bad.noexec', []);  /* At this point, we don't know exactly why it failed... * Try some heuristics. */ } else if(!params.path) { 
function doOnload() {    var locale = document.getElementById("strings");    var params = window['arguments'][0];    var reason = document.getElementById('reason');    var textnode = '**error**';    if(params.path === null) {        textnode = locale.getFormattedString('bad.noset',[]);    } else {        if(params.exists) {            textnode = locale.getFormattedString('bad.noexec', []);        } else {            textnode = locale.getFormattedString('bad.noent', [params.path]);        }    }    reason.appendChild(document.createTextNode(textnode));}
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/77aaaad439ee8ccd617e1d708ef912da693f9d93/badeditor.js/clean/src/chrome/content/badeditor.js