diff options
author | Aarni Koskela <akx@iki.fi> | 2023-05-11 23:46:45 +0300 |
---|---|---|
committer | Aarni Koskela <akx@iki.fi> | 2023-05-17 10:15:03 +0300 |
commit | 85b4f89926f7c3aaa7846dcbb47df3fd3b483b6b (patch) | |
tree | 716f033e712fe3eb7fa14bdfb6f8fe51836ae58c /modules/ui.py | |
parent | 4b07f2f584596604c4499efb0b0295e96985080f (diff) |
Replace state.need_restart with state.server_command + replace poll loop with signal
Diffstat (limited to 'modules/ui.py')
-rw-r--r-- | modules/ui.py | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/modules/ui.py b/modules/ui.py index 8e51e782..bed8464e 100644 --- a/modules/ui.py +++ b/modules/ui.py @@ -1609,12 +1609,8 @@ def create_ui(): outputs=[]
)
- def request_restart():
- shared.state.interrupt()
- shared.state.need_restart = True
-
restart_gradio.click(
- fn=request_restart,
+ fn=shared.state.request_restart,
_js='restart_reload',
inputs=[],
outputs=[],
|