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 = {}