SVGHMI : wait for initial timeout after watchdog is triggered, since it generaly induces HMI restart
--- a/svghmi/svghmi_server.py Thu Jan 23 11:22:09 2020 +0100
+++ b/svghmi/svghmi_server.py Thu Jan 23 13:46:05 2020 +0100
@@ -102,14 +102,15 @@
with self.lock:
self._stop()
- def feed(self):
+ def feed(self, rearm=True):
with self.lock:
self._stop()
- self._start(rearm=True)
+ self._start(rearm)
def trigger(self):
self._callback()
- self.feed()
+ # wait for initial timeout on re-start
+ self.feed(rearm=False)
class HMIProtocol(WebSocketServerProtocol):