diff --git a/bibigrid/core/actions/ide.py b/bibigrid/core/actions/ide.py index 86f7f709..840d970b 100644 --- a/bibigrid/core/actions/ide.py +++ b/bibigrid/core/actions/ide.py @@ -23,6 +23,7 @@ LOCALHOST = "127.0.0.1" + def sigint_handler(caught_signal, frame): # pylint: disable=unused-argument """ Is called when SIGINT is thrown and terminates the program