svghmi/svghmi_server.py
branchsvghmi
changeset 3268 d22782b9591f
parent 3200 75cb73b4a606
child 3269 5d174cdf4d98
--- a/svghmi/svghmi_server.py	Wed Jun 30 15:51:59 2021 +0200
+++ b/svghmi/svghmi_server.py	Thu Jul 01 14:33:14 2021 +0200
@@ -120,6 +120,10 @@
         self._hmi_session = None
         WebSocketServerProtocol.__init__(self, *args, **kwargs)
 
+    def onConnect(self, request):
+        self.has_watchdog = request.params.get("mode", [None])[0] == "watchdog"
+        return WebSocketServerProtocol.onConnect(self, request)
+
     def onOpen(self):
         assert(self._hmi_session is None)
         self._hmi_session = HMISession(self)