diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-11-05 19:30:57 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-05 19:30:57 +0300 |
commit | ff805d8d0eb8e3de42f04747de0d1c7354491810 (patch) | |
tree | c6e557895ff3172bad42da469a6912ac718078a1 /modules/initialize_util.py | |
parent | 44c5097375ae4cf40300c09473bb46cf6c5d6cb7 (diff) | |
parent | c3699d4fd185d5a7285c5519f9bb4b6fec236d9f (diff) |
Merge branch 'dev' into master
Diffstat (limited to 'modules/initialize_util.py')
-rw-r--r-- | modules/initialize_util.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/modules/initialize_util.py b/modules/initialize_util.py index 2894eee4..2e9b6d89 100644 --- a/modules/initialize_util.py +++ b/modules/initialize_util.py @@ -150,10 +150,14 @@ def dumpstacks(): def configure_sigint_handler():
# make the program just exit at ctrl+c without waiting for anything
+
+ from modules import shared
+
def sigint_handler(sig, frame):
print(f'Interrupted with signal {sig} in {frame}')
- dumpstacks()
+ if shared.opts.dump_stacks_on_signal:
+ dumpstacks()
os._exit(0)
|