From 736fe4aa3eb397a99e3a8b407b6482958710cd63 Mon Sep 17 00:00:00 2001 From: oobabooga <112222186+oobabooga@users.noreply.github.com> Date: Tue, 12 Dec 2023 12:27:40 -0800 Subject: [PATCH] Fix server refusing to close on Ctrl+C --- server.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/server.py b/server.py index 3e2f262a..856dc494 100644 --- a/server.py +++ b/server.py @@ -58,9 +58,6 @@ from modules.utils import gradio def signal_handler(sig, frame): logger.info("Received Ctrl+C. Shutting down Text generation web UI gracefully.") - if 'interface' in shared.gradio: - shared.gradio['interface'].close() - sys.exit(0)