svghmi/svghmi_server.py
branchsvghmi
changeset 3268 d22782b9591f
parent 3200 75cb73b4a606
child 3269 5d174cdf4d98
equal deleted inserted replaced
3267:5f20f391ae31 3268:d22782b9591f
   117 class HMIProtocol(WebSocketServerProtocol):
   117 class HMIProtocol(WebSocketServerProtocol):
   118 
   118 
   119     def __init__(self, *args, **kwargs):
   119     def __init__(self, *args, **kwargs):
   120         self._hmi_session = None
   120         self._hmi_session = None
   121         WebSocketServerProtocol.__init__(self, *args, **kwargs)
   121         WebSocketServerProtocol.__init__(self, *args, **kwargs)
       
   122 
       
   123     def onConnect(self, request):
       
   124         self.has_watchdog = request.params.get("mode", [None])[0] == "watchdog"
       
   125         return WebSocketServerProtocol.onConnect(self, request)
   122 
   126 
   123     def onOpen(self):
   127     def onOpen(self):
   124         assert(self._hmi_session is None)
   128         assert(self._hmi_session is None)
   125         self._hmi_session = HMISession(self)
   129         self._hmi_session = HMISession(self)
   126 
   130