beremiz

6d65508a059e
Parents 48d66d3fb3a6
Children 7d83cd94e3cc
SVGHMI: Fix creation of SVG file if none provided
--- 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>