diff options
author | AUTOMATIC <16777216c@gmail.com> | 2023-05-09 08:42:47 +0000 |
---|---|---|
committer | AUTOMATIC <16777216c@gmail.com> | 2023-05-09 08:42:47 +0000 |
commit | ad6ec0226118b80e79446f16747976a1dd1fabcd (patch) | |
tree | 47fe7e5c227607b171148853fd434391591959ec /javascript/ui.js | |
parent | eb95809501068a38f2b6bdb01b6ae5b86ff7ae87 (diff) | |
download | stable-diffusion-webui-gfx803-ad6ec0226118b80e79446f16747976a1dd1fabcd.tar.gz stable-diffusion-webui-gfx803-ad6ec0226118b80e79446f16747976a1dd1fabcd.tar.bz2 stable-diffusion-webui-gfx803-ad6ec0226118b80e79446f16747976a1dd1fabcd.zip |
prevent Reload UI button/link from reloading the page when it's not yet ready
Diffstat (limited to 'javascript/ui.js')
-rw-r--r-- | javascript/ui.js | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/javascript/ui.js b/javascript/ui.js index 611b70d1..ed9673d6 100644 --- a/javascript/ui.js +++ b/javascript/ui.js @@ -395,7 +395,16 @@ 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) + + var requestPing = function(){ + requestGet("./internal/ping", {}, function(data){ + location.reload(); + }, function(){ + setTimeout(requestPing, 500); + }) + } + + setTimeout(requestPing, 2000); return [] } |