Fixed server signal handler

Joel Collins · Joel Collins · commit e7fd2a717b93 · 2020-04-15T15:01:36.000+01:00
diff --git a/labthings/server/wsgi/gevent.py b/labthings/server/wsgi/gevent.py
@@ -88,7 +88,7 @@ def stop():
             wsgi_server.stop(timeout=stop_timeout)
 
         # Serve
-        gevent.signal(signal.SIGTERM, stop)
+        signal.signal(signal.SIGTERM, stop)
 
         try:
             wsgi_server.serve_forever()
