diff php/config.php @ 3124:8bef85957a2f

YAUC

--- 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/";
     }