src/js/instrument/instUtil.js
function createFilenameForScript(url) {
    // TODO make this much more robust
    console.log("url:" + url);
    var parsed = urlParser.parse(url);
    if (inlineRegexp.test(url)) {
        return parsed.hash.substring(1) + ".js";
    } else {
        return parsed.pathname.substring(parsed.pathname.lastIndexOf("/") + 1);
    }
}
function createFilenameForScript(url) {
    // TODO make this much more robust
    console.log("url:" + url);
    var parsed = urlParser.parse(url);
    if (inlineRegexp.test(url)) {
        return parsed.hash.substring(1) + ".js";
    } else {
        return parsed.pathname.substring(parsed.pathname.lastIndexOf("/") + 1);
    }
}
function createFilenameForScript ( url ) { // TODO make this much more robust console . log ( "url:" + url ) ; var parsed = urlParser . parse ( url ) ; if ( inlineRegexp . test ( url ) ) { return parsed . hash . substring ( 1 ) + ".js" ; } else { return parsed . pathname . substring ( parsed . pathname . lastIndexOf ( "/" ) + 1 ) ; } }
generate a filename for a script with the given url
generate a filename for a script with the given url