Commit 1950d56b authored by Tomi Sarvela's avatar Tomi Sarvela

Instead of splitting from first dot, take .json.gz out

parent 7085e3d7
......@@ -781,8 +781,8 @@ async function drawResults(file, target_div, spinner, group_by_run, depth) {
return;
}
// Put the run name in the page title
var titleToAppend = ref.json.name + " (" + file.split(".")[0].toUpperCase() + ")";
// Put the run name in the page title // remove .json.gz
var titleToAppend = ref.json.name + " (" + file.substring(0,file.length-8).toUpperCase() + ")";
if (!document.title.includes(titleToAppend))
document.title += " " + titleToAppend;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment