# HG changeset patch
# User Edouard Tisserant
# Date 1579783565 -3600
# Node ID e9ba4dee6ffb05ac0405157ab91a47d030db5c2d
# Parent  6c9cfdbe94dc73595d9fb0aff26e089b5f7b1287
SVGHMI : wait for initial timeout after watchdog is triggered, since it generaly induces HMI restart

diff -r 6c9cfdbe94dc -r e9ba4dee6ffb svghmi/svghmi_server.py
--- 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):