From 5dbdef25d3495e3abd19178aa88283264a19df6f Mon Sep 17 00:00:00 2001
From: Ozzie Isaacs <ozzie.fernandez.isaacs@googlemail.com>
Date: Sun, 23 Feb 2020 17:24:25 +0100
Subject: [PATCH] Windows compatibility

---
 cps/server.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cps/server.py b/cps/server.py
index 576e0774..74c591ec 100755
--- 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