We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 66ad34c commit 2687c5aCopy full SHA for 2687c5a
1 file changed
manager/manager/manager.py
@@ -878,6 +878,7 @@ def signal_handler(sign, frame):
878
LogManager.logger.exception("Exception stopping GUI server")
879
880
self.on_disconnect(None)
881
+ exit()
882
883
signal.signal(signal.SIGINT, signal_handler)
884
0 commit comments