SVGHMI: server systematically resets session on connect, rather than waiting for client to ask for it
--- 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