author | Edouard Tisserant |
Thu, 21 Oct 2021 09:45:21 +0200 | |
changeset 3372 | e5cb7447320c |
parent 3367 | 3656d0d235c4 |
child 3373 | 78add3f69e39 |
svghmi/svghmi.py | file | annotate | diff | comparison | revisions |
--- 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 = {}