diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2022-11-06 11:27:54 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-06 11:27:54 +0300 |
| commit | 07d1bd426722b4c53b38ff682c5aab53177d8530 (patch) | |
| tree | 4fdad803a4536cec2bd3e622c5f4cfb980f04550 /javascript/ui.js | |
| parent | 3f3d14afd5abd07d3843370dc1c28be299dbdbab (diff) | |
| parent | 6e4de5b4422dfc0d45063b2c8c78b19f00321615 (diff) | |
Merge branch 'master' into roy.add_simple_interrogate_api
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 [] } |