# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1531919852 -3600
# Node ID 76cffc7ecdee2a576a00c74b3bdd05b9d36bc1be
# Parent  b2138d9d5df6b9c54b64941b1a264fce9051b2c1
Minor

diff -r b2138d9d5df6 -r 76cffc7ecdee php/pseudo.php
--- a/php/pseudo.php	Wed Jul 18 14:15:34 2018 +0100
+++ b/php/pseudo.php	Wed Jul 18 14:17:32 2018 +0100
@@ -12,9 +12,9 @@
 }
 
 if (isset($_GET["dir"]) == FALSE) {
-    $prefix = "";
+    $dir = "";
 } else {
-    $prefix = $_GET["dir"];
+    $dir = $_GET["dir"];
 }
 
 $files = glob('../saves/' . $prefix . '*.xml');