From e5b101ddff108ef913e8f7c6085eac52498443a0 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 24 Jan 2018 11:25:14 +0100 Subject: syz-manager: fix coverage page refresh --- syz-manager/cover.go | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/syz-manager/cover.go b/syz-manager/cover.go index d96f6ee45..0048dfa7d 100644 --- a/syz-manager/cover.go +++ b/syz-manager/cover.go @@ -468,10 +468,13 @@ var coverTemplate = template.Must(template.New("").Parse(` if (window.location.hash) { var hash = window.location.hash.substring(1); for (var i = 0; i < files.options.length; i++) { - if (files.options[i].value === hash) { - files.selectedIndex = i; - break; - } + if (files.options[i].value === hash) { + files.selectedIndex = i; + visible.style.display = 'none'; + visible = document.getElementById(files.value); + visible.style.display = 'block'; + break; + } } } files.addEventListener('change', onChange, false); -- cgit mrf-deployment