diff options
Diffstat (limited to 'test/utils/run_test_server.py')
| -rw-r--r-- | test/utils/run_test_server.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/utils/run_test_server.py b/test/utils/run_test_server.py index a23207fe..5d1450dd 100644 --- a/test/utils/run_test_server.py +++ b/test/utils/run_test_server.py @@ -18,11 +18,13 @@ import signal from http.server import SimpleHTTPRequestHandler as HTTPHandler from http.server import HTTPServer as HTTPServer +from typing import Any + httpd = None # handle interrupts gracefully, i.e., shutdown the server and exit -def RecvSig(*_) -> None: +def RecvSig(*_: Any) -> None: if not httpd is None: # cleanup httpd.server_close() |