SVGHMI: server systematically resets session on connect, rather than waiting for client to ask for it
authorEdouard Tisserant
Tue, 08 Nov 2022 11:00:42 +0100
changeset 3661 62860665fa94
parent 3656 efbc86949467
child 3662 364f2409eeda
SVGHMI: server systematically resets session on connect, rather than waiting for client to ask for it
svghmi/svghmi.js
svghmi/svghmi_server.py
--- a/svghmi/svghmi.js	Fri Nov 04 10:56:18 2022 +0100
+++ b/svghmi/svghmi.js	Tue Nov 08 11:00:42 2022 +0100
@@ -621,9 +621,6 @@
         }, 3600000);
     }
 
-    // forget subscriptions remotely
-    send_reset();
-
     // forget earlier subscriptions locally
     reset_subscription_periods();
 
--- a/svghmi/svghmi_server.py	Fri Nov 04 10:56:18 2022 +0100
+++ b/svghmi/svghmi_server.py	Tue Nov 08 11:00:42 2022 +0100
@@ -223,6 +223,7 @@
         _hmi_session = HMISession(self)
         registered = svghmi_session_manager.register(_hmi_session)
         self._hmi_session = _hmi_session
+        self._hmi_session.reset()
 
     def onClose(self, wasClean, code, reason):
         global svghmi_session_manager