author | Edouard Tisserant <edouard.tisserant@gmail.com> |
Wed, 22 Nov 2023 21:10:10 +0100 | |
changeset 3875 | 6d65508a059e |
parent 3874 | 48d66d3fb3a6 |
child 3876 | 7d83cd94e3cc |
svghmi/svghmi.py | file | annotate | diff | comparison | revisions |
--- a/svghmi/svghmi.py Wed Nov 22 19:48:55 2023 +0100 +++ b/svghmi/svghmi.py Wed Nov 22 21:10:10 2023 +0100 @@ -617,7 +617,7 @@ else: target_file = open(target_path, 'wb') - target_file.write("""<!DOCTYPE html> + target_file.write(b"""<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title>SVGHMI</title>