# HG changeset patch
# User Edouard Tisserant
# Date 1581583303 -3600
# Node ID bc666f020ab34e2435e5a437d25c2845482ba436
# Parent  6ac6a9dff594b9d866e626d7e212e6d19031de7d
SVGHMI : fix watchdog exception when timeout null

diff -r 6ac6a9dff594 -r bc666f020ab3 svghmi/svghmi_server.py
--- a/svghmi/svghmi_server.py	Tue Feb 11 13:56:48 2020 +0100
+++ b/svghmi/svghmi_server.py	Thu Feb 13 09:41:43 2020 +0100
@@ -92,6 +92,8 @@
         if duration:
             self.timer = Timer(duration, self.trigger)
             self.timer.start()
+        else:
+            self.timer = None
 
     def _stop(self):
         if self.timer is not None: