branch | svghmi |
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)