merged
authorEdouard Tisserant
Tue, 26 Oct 2021 11:41:03 +0200
changeset 3373 78add3f69e39
parent 3372 e5cb7447320c (diff)
parent 3370 3c31dce1a661 (current diff)
child 3374 9a82918e063c
merged
--- a/svghmi/svghmi.py	Thu Oct 21 20:56:05 2021 +0200
+++ b/svghmi/svghmi.py	Tue Oct 26 11:41:03 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 = {}