# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1531929608 -3600
# Node ID 8bef85957a2f33406b1f5cc6c34a7e6739c47bae
# Parent  c7de85e033217780c4d2fecca369ab9d685a9b1e
YAUC

diff -r c7de85e03321 -r 8bef85957a2f php/config.php
--- a/php/config.php	Wed Jul 18 16:53:38 2018 +0100
+++ b/php/config.php	Wed Jul 18 17:00:08 2018 +0100
@@ -1,14 +1,14 @@
 <?php
 function getSaveLocation() {
-    if (isset($_ENV["WAET_SAVES_LOCATION"])) {
-        return $_ENV["WAET_SAVES_LOCATION"];
+    if (isset(getenv(["WAET_SAVES_LOCATION"]))) {
+        return getenv(["WAET_SAVES_LOCATION"]);
     } else {
         return "../saves/";
     }
 }
 function getTestLocation() {
-    if (isset($_ENV["WAET_TEST_LOCATION"])) {
-        return $_ENV["WAET_TEST_LOCATION"];
+    if (isset(getenv(["WAET_TEST_LOCATION"]))) {
+        return getenv(["WAET_TEST_LOCATION"]);
     } else {
         return "../tests/";
     }