# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1493118533 -3600
# Node ID 8eb4de917ee64655c73493fba6d60aa3547cace4
# Parent  1ba5ac9d88e72b8b7ec84d3f8b31eb1c5efeb25f
Fix for PHP saves

diff -r 1ba5ac9d88e7 -r 8eb4de917ee6 php/save.php
--- a/php/save.php	Tue Apr 25 12:06:29 2017 +0100
+++ b/php/save.php	Tue Apr 25 12:08:53 2017 +0100
@@ -28,10 +28,12 @@
 $saveFilenamePrefix = '';
 if (isset($_GET['saveFilenamePrefix'])) {
     $saveFilenamePrefix = $_GET['saveFilenamePrefix'].'-';
+} else {
+    $saveFilenamePrefix = "save-"
 }
 $postText = file_get_contents('php://input');
 $file_key = $_GET['key'];
-$filename = '../saves/'.$saveFilenamePrefix.'save-'.$file_key.".xml";
+$filename = '../saves/'.$saveFilenamePrefix.$file_key.".xml";
 
 if (!file_exists($filename)) {
     die('<response state="error"><message>Could not find save</message></response>');