# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1700683810 -3600
# Node ID 6d65508a059edc9bc18280b679e001f9a6dbf1c0
# Parent  48d66d3fb3a66a02d413637f18282eb22310ced2
SVGHMI: Fix creation of SVG file if none provided

diff -r 48d66d3fb3a6 -r 6d65508a059e svghmi/svghmi.py
--- 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>