Merge remote-tracking branch 'origin/master'

2020-02-23 20:07:51 +01:00 · 2020-02-23 20:07:51 +01:00 · 040bb4a5a8
parent fc4436f091 b9f3ac2eea
commit 040bb4a5a8
1 changed files with 0 additions and 1 deletions
--- a/cps/server.py
+++ b/cps/server.py
@ -55,7 +55,6 @@ class WebServer(object):
    def __init__(self):
        signal.signal(signal.SIGINT, self._killServer)
        signal.signal(signal.SIGTERM, self._killServer)
-        signal.signal(signal.SIGQUIT, self._killServer)

        self.wsgiserver = None
        self.access_logger = None