author | Edouard Tisserant |
Tue, 26 Oct 2021 11:41:03 +0200 | |
changeset 3373 | 78add3f69e39 |
parent 3372 | e5cb7447320c (diff) |
parent 3370 | 3c31dce1a661 (current diff) |
child 3374 | 9a82918e063c |
--- 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 = {}