# HG changeset patch
# User Edouard Tisserant
# Date 1667901642 -3600
# Node ID 62860665fa94e14c68da7985cbaa47ebb8de988c
# Parent  efbc869494678098f2d00a16c70b94ad39034a55
SVGHMI: server systematically resets session on connect, rather than waiting for client to ask for it

diff -r efbc86949467 -r 62860665fa94 svghmi/svghmi.js
--- 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();
 
diff -r efbc86949467 -r 62860665fa94 svghmi/svghmi_server.py
--- 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