Merge pull request #8789 from Rucadi/master

Add polling and reload callback for extensions.
This commit is contained in:
AUTOMATIC1111
2023-04-29 19:03:10 +03:00
committed by GitHub
2 changed files with 26 additions and 1 deletions

View File

@@ -264,7 +264,9 @@ def create_api(app):
def wait_on_server(demo=None):
while 1:
time.sleep(0.5)
modules.script_callbacks.app_polling_callback(None, demo)
if shared.state.need_restart:
modules.script_callbacks.app_reload_callback(None, demo)
shared.state.need_restart = False
time.sleep(0.5)
demo.close()