svghmi/svghmi.py
changeset 3372 e5cb7447320c
parent 3348 cfac764413dd
child 3375 aa25c89a8845
--- 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 = {}