# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1505146782 -3600
# Node ID 3bfc80d2ead0f7cf10a27c0c3dac96ccff7f43e6
# Parent  465084b9c6dcf85bd8e91f9a3736f4d5f1d84c28
Fix for minor python behaviours

diff -r 465084b9c6dc -r 3bfc80d2ead0 python/pythonServer.py
--- a/python/pythonServer.py	Mon Sep 11 17:19:27 2017 +0100
+++ b/python/pythonServer.py	Mon Sep 11 17:19:42 2017 +0100
@@ -129,7 +129,7 @@
     elif sys.version_info[0] == 3:
         s.wfile.write(bytes(reply, "utf-8"))
     file = open("../saves/save-"+key+".xml",'w')
-    file.write("<waetresult key="+key+"/>")
+    file.write("<waetresult key=\""+key+"\"/>")
     file.close()