diff options
author | Billy Cao <aliencaocao@gmail.com> | 2022-11-06 16:33:08 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-06 16:33:08 +0800 |
commit | c13e234444e98d112e9fe99d518c834edeb79471 (patch) | |
tree | 8dfa10582dccb75685b4dd3ee28d1d48c0a6f595 /javascript/ui.js | |
parent | 55ca04095845b41bf66333b3b7343e3ea0babed1 (diff) | |
parent | 5302e2cdd4c8f039a68e900d739285d15d99d200 (diff) |
Merge branch 'master' into enable-override-hypernet
Diffstat (limited to 'javascript/ui.js')
-rw-r--r-- | javascript/ui.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/javascript/ui.js b/javascript/ui.js index 7e116465..95cfd106 100644 --- a/javascript/ui.js +++ b/javascript/ui.js @@ -208,4 +208,6 @@ function update_token_counter(button_id) { function restart_reload(){ document.body.innerHTML='<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>'; setTimeout(function(){location.reload()},2000) + + return [] } |