diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-06-05 17:06:40 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-05 17:06:40 +0000 |
commit | 1dd8d571a4fa053633314657c78032a5b83a7cb5 (patch) | |
tree | 3b6c643d969e1dd164fbee5d835ab02d0a47d487 /modules/ui_extensions.py | |
parent | 18acc0b30d9184702a772287ed8197385e0aed98 (diff) | |
parent | 46a5bd64edece07f521409f0adace6cdd6f30a40 (diff) | |
download | stable-diffusion-webui-gfx803-1dd8d571a4fa053633314657c78032a5b83a7cb5.tar.gz stable-diffusion-webui-gfx803-1dd8d571a4fa053633314657c78032a5b83a7cb5.tar.bz2 stable-diffusion-webui-gfx803-1dd8d571a4fa053633314657c78032a5b83a7cb5.zip |
Merge pull request #11043 from akx/restart-envvar
Restart: only do restart if running via the wrapper script
Diffstat (limited to 'modules/ui_extensions.py')
-rw-r--r-- | modules/ui_extensions.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 1ae516d7..4379a641 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -11,7 +11,7 @@ import html import shutil
import errno
-from modules import extensions, shared, paths, config_states, errors
+from modules import extensions, shared, paths, config_states, errors, restart
from modules.paths_internal import config_states_dir
from modules.call_queue import wrap_gradio_gpu_call
@@ -49,7 +49,11 @@ 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.restart_program()
+
+ if restart.is_restartable():
+ restart.restart_program()
+ else:
+ restart.stop_program()
def save_config_state(name):
@@ -509,7 +513,8 @@ def create_ui(): with gr.TabItem("Installed", id="installed"):
with gr.Row(elem_id="extensions_installed_top"):
- apply = gr.Button(value="Apply and restart UI", variant="primary")
+ apply_label = ("Apply and restart UI" if restart.is_restartable() else "Apply and quit")
+ apply = gr.Button(value=apply_label, variant="primary")
check = gr.Button(value="Check for updates")
extensions_disable_all = gr.Radio(label="Disable all extensions", choices=["none", "extra", "all"], value=shared.opts.disable_all_extensions, elem_id="extensions_disable_all")
extensions_disabled_list = gr.Text(elem_id="extensions_disabled_list", visible=False).style(container=False)
|