diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-06-04 11:17:20 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-04 11:17:20 +0300 |
commit | 0819383de05e57ec5da638bd4d5d180b5bac981a (patch) | |
tree | ecec2c764772b337167248382fd7b72cdcef3209 /modules/ui_extensions.py | |
parent | efc4c79b5ecd0bfff09b5f7bb9acf4b9044207ae (diff) | |
parent | 333e63c0911c148ea306d7b72580d5c6d2f2c41a (diff) |
Merge pull request #10975 from AUTOMATIC1111/restart3
A yet another method to restart webui.
Diffstat (limited to 'modules/ui_extensions.py')
-rw-r--r-- | modules/ui_extensions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 3140ed64..5580dfaf 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -49,7 +49,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.request_restart()
+ shared.restart_program()
def save_config_state(name):
|