diff options
| author | DepFA <35278260+dfaker@users.noreply.github.com> | 2022-10-05 03:43:05 +0000 |
|---|---|---|
| committer | AUTOMATIC1111 <16777216c@gmail.com> | 2022-10-05 08:37:18 +0000 |
| commit | bbdbbd36eda870cf0bd49fdf28476c78919a123e (patch) | |
| tree | d41e71ba3210282b007c3646a9dff74c082da2b3 /modules/ui.py | |
| parent | ef40e4cd4d383a3405e03f1da3f5b5a1820a8f53 (diff) | |
| download | stable-diffusion-webui-gfx803-bbdbbd36eda870cf0bd49fdf28476c78919a123e.tar.gz stable-diffusion-webui-gfx803-bbdbbd36eda870cf0bd49fdf28476c78919a123e.tar.bz2 stable-diffusion-webui-gfx803-bbdbbd36eda870cf0bd49fdf28476c78919a123e.zip | |
shared.state.interrupt when restart is requested
Diffstat (limited to 'modules/ui.py')
| -rw-r--r-- | modules/ui.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/ui.py b/modules/ui.py index de6342a4..523ab25b 100644 --- a/modules/ui.py +++ b/modules/ui.py @@ -1210,6 +1210,7 @@ def create_ui(wrap_gradio_gpu_call): )
def request_restart():
+ shared.state.interrupt()
settings_interface.gradio_ref.do_restart = True
restart_gradio.click(
|