diff --git a/radicale/__main__.py b/radicale/__main__.py index b5542d41..cc9cc495 100644 --- a/radicale/__main__.py +++ b/radicale/__main__.py @@ -256,11 +256,9 @@ def serve(configuration, logger): try: rlist, _, xlist = select.select( sockets, [], sockets, select_timeout) - except select.error: - continue - except KeyboardInterrupt: - shutdown() - continue + except (KeyboardInterrupt, select.error): + # SIGINT is handled by signal handler above + rlist, xlist = [], [] if xlist: raise RuntimeError("unhandled socket error") if rlist: