# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1477302480 -3600
# Node ID 0217c4781e5e2adcdea453fbf488ac0caf86f9cc
# Parent  177cbd750610a1f21b70a90e04f4f01887236221
Minor

diff -r 177cbd750610 -r 0217c4781e5e php/requestKey.php
--- a/php/requestKey.php	Mon Oct 24 10:45:11 2016 +0100
+++ b/php/requestKey.php	Mon Oct 24 10:48:00 2016 +0100
@@ -41,7 +41,7 @@
     }
 }
 
-$filename = "saves/save-".$key.".xml"
+$filename = "saves/save-".$key.".xml";
 $fileHandle = fopen($filename, 'w');
 if ($fileHandle == FALSE) {
     echo "<response><state>ERROR</state><key>".$key."</key></response>";