diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-06-07 09:50:30 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-06-07 09:50:30 +0200 |
commit | c328d5d2186dafa9c1d8464d94be474e606e9ab8 (patch) | |
tree | 363fbf6b91f70c9bab0b724bb93ee03998d5b721 | |
parent | b19c24c0cabfb8b25a16d816b806d1dc51069721 (diff) | |
download | backoffice-c328d5d2186dafa9c1d8464d94be474e606e9ab8.tar.gz backoffice-c328d5d2186dafa9c1d8464d94be474e606e9ab8.tar.bz2 backoffice-c328d5d2186dafa9c1d8464d94be474e606e9ab8.zip |
Remove error bar upon instance switch.
-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); } |