diff options
| author | papuSpartan <30642826+papuSpartan@users.noreply.github.com> | 2022-11-06 21:05:28 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-06 21:05:28 -0600 |
| commit | 00ebc26c4e2962a31e067539d89cd695d999539a (patch) | |
| tree | 4c2d46e00ffcc5b606f4841926b3a61fed903f00 /javascript/ui.js | |
| parent | 86d35526a13a0e2432ab71d1d40b191615d3e343 (diff) | |
| parent | 804d9fb83d0c63ca3acd36378707ce47b8f12599 (diff) | |
Merge branch 'AUTOMATIC1111:master' into master
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 00e80fd6..51d112cd 100644 --- a/javascript/ui.js +++ b/javascript/ui.js @@ -248,4 +248,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 [] } |