diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-05-17 15:45:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-17 15:45:40 +0000 |
| commit | f6c06e3ed2fc861e98b2f0e93e0b1fef0ef6e0cf (patch) | |
| tree | 18e6e6f802b6669925814f4c9b76f1896e66abbe /modules/ui_extensions.py | |
| parent | 216b0fa6c904a4803a74e9af9b335142ae980dd1 (diff) | |
| parent | 875990a23213c63c19b8fdd3c87345f7a8ea2ceb (diff) | |
| download | stable-diffusion-webui-gfx803-f6c06e3ed2fc861e98b2f0e93e0b1fef0ef6e0cf.tar.gz stable-diffusion-webui-gfx803-f6c06e3ed2fc861e98b2f0e93e0b1fef0ef6e0cf.tar.bz2 stable-diffusion-webui-gfx803-f6c06e3ed2fc861e98b2f0e93e0b1fef0ef6e0cf.zip | |
Merge pull request #10458 from akx/graceful-stop
Graceful server stopping
Diffstat (limited to 'modules/ui_extensions.py')
| -rw-r--r-- | modules/ui_extensions.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index d7a0f685..4ba3bdd7 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -52,9 +52,7 @@ def apply_and_restart(disable_list, update_list, disable_all): shared.opts.disabled_extensions = disabled
shared.opts.disable_all_extensions = disable_all
shared.opts.save(shared.config_filename)
-
- shared.state.interrupt()
- shared.state.need_restart = True
+ shared.state.request_restart()
def save_config_state(name):
@@ -92,8 +90,7 @@ def restore_config_state(confirmed, config_state_name, restore_type): if restore_type == "webui" or restore_type == "both":
config_states.restore_webui_config(config_state)
- shared.state.interrupt()
- shared.state.need_restart = True
+ shared.state.request_restart()
return ""
|