# HG changeset patch
# User Edouard Tisserant
# Date 1635241263 -7200
# Node ID 78add3f69e39a678dce0ae6e7cc940006a65cb1a
# Parent  e5cb7447320c6aa4c50b02bb8a96a014c9eeb2dc# Parent  3c31dce1a661ee958061c85381b2e29f9264c1d1
merged

diff -r 3c31dce1a661 -r 78add3f69e39 svghmi/svghmi.py
--- 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 = {}