diff options
Diffstat (limited to 'js/backoffice.js')
-rw-r--r-- | js/backoffice.js | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/js/backoffice.js b/js/backoffice.js index 35e5c88..dc6a193 100644 --- a/js/backoffice.js +++ b/js/backoffice.js @@ -362,7 +362,7 @@ function fill_table(scroll, data, execution_time, wtid_marker){ /* not append data, erase! */ if (!scroll){ - clean_results(); + clear_results(); if(0 == data.length){ /* make NO RESULTS visible and hide tab headers */ nr.style.display = "block"; @@ -516,7 +516,7 @@ function get_instance(){ * Remove tracks from the main page table, but do NOT remove * the table headers */ -function clean_results(){ +function clear_results(){ var table = document.getElementById("history"); var tbody = xpath_get("tbody", table).snapshotItem(0); var tbody_children = xpath_get("tbody/*[position() > 2]", table); @@ -533,6 +533,12 @@ function change_instance(){ * the same effect of reloading the whole page. */ START = 0; LAST = 0; + clear_results(); + + /* Remove error info bar, if any exist. */ + var info_bar = document.getElementById("information-bar"); + info_bar.style.visibility = "hidden"; + get_history(false, fill_table); } |