# HG changeset patch
# User Edouard Tisserant
# Date 1634802321 -7200
# Node ID e5cb7447320c6aa4c50b02bb8a96a014c9eeb2dc
# Parent  3656d0d235c43a535afb467dc9b99a6b5a8dccd2
SVGHMI: prevents watchdog being triggered when SVGHMI is empty.

diff -r 3656d0d235c4 -r e5cb7447320c svghmi/svghmi.py
--- a/svghmi/svghmi.py	Tue Oct 19 13:09:45 2021 +0200
+++ b/svghmi/svghmi.py	Thu Oct 21 09:45:21 2021 +0200
@@ -608,6 +608,9 @@
 """)
             target_file.close()
 
+            # In case no SVG is given, watchdog is useless
+            svghmi_options["enable_watchdog"] = False
+
         res += ((target_fname, open(target_path, "rb")),)
 
         svghmi_cmds = {}