# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1493118578 -3600
# Node ID 19ec114ea8c62754b0c1e1a01e38559239f8152b
# Parent  8eb4de917ee64655c73493fba6d60aa3547cace4
Typo

diff -r 8eb4de917ee6 -r 19ec114ea8c6 php/save.php
--- a/php/save.php	Tue Apr 25 12:08:53 2017 +0100
+++ b/php/save.php	Tue Apr 25 12:09:38 2017 +0100
@@ -29,7 +29,7 @@
 if (isset($_GET['saveFilenamePrefix'])) {
     $saveFilenamePrefix = $_GET['saveFilenamePrefix'].'-';
 } else {
-    $saveFilenamePrefix = "save-"
+    $saveFilenamePrefix = "save-";
 }
 $postText = file_get_contents('php://input');
 $file_key = $_GET['key'];