221         global svghmi_session_manager

   221         global svghmi_session_manager

   222         assert(self._hmi_session is None)

   222         assert(self._hmi_session is None)

   223         _hmi_session = HMISession(self)

   223         _hmi_session = HMISession(self)

   224         registered = svghmi_session_manager.register(_hmi_session)

   224         registered = svghmi_session_manager.register(_hmi_session)

   225         self._hmi_session = _hmi_session

   225         self._hmi_session = _hmi_session

   226 

   227 

   227     def onClose(self, wasClean, code, reason):

   228     def onClose(self, wasClean, code, reason):

   228         global svghmi_session_manager

   229         global svghmi_session_manager

   229         if self._hmi_session is None : return

   230         if self._hmi_session is None : return

   230         self._hmi_session.notify_closed()

   231         self._hmi_session.notify_closed()