diff --git a/server.py b/server.py index 743ed765..b3f6546f 100644 --- a/server.py +++ b/server.py @@ -720,6 +720,11 @@ def main() -> None: # Not on the main thread (e.g. embedded/test harness); skip handler. logger.debug("Could not install SIGTERM handler", exc_info=True) + try: + signal.signal(signal.SIGINT, _request_shutdown) + except (ValueError, OSError): + logger.debug("Could not install SIGINT handler", exc_info=True) + try: httpd.serve_forever() finally: