beremiz

e5cb7447320c
Parents 3656d0d235c4
Children 78add3f69e39
SVGHMI: prevents watchdog being triggered when SVGHMI is empty.
--- 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 = {}