Do this with an env var instead

derickr · derickr · commit 1b2f920d3d7f · 2015-08-20T11:10:36.000+01:00
diff --git a/tests/utils/basic.inc b/tests/utils/basic.inc
@@ -1,9 +1,7 @@
 <?php
 require __DIR__ . "/" . "tools.php";
 
-if (file_exists("{$_SERVER['HOME']}/PHONGO-SERVERS.json")) {
-	$FILENAME = "{$_SERVER['HOME']}/PHONGO-SERVERS.json";
-} else {
+if (($FILENAME = getenv("PHONGO_SERVERS")) === false) {
 	$FILENAME = sys_get_temp_dir() . "/PHONGO-SERVERS.json";
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,9 +1,7 @@`
`1`	`1`	`<?php`
`2`	`2`	`require __DIR__ . "/" . "tools.php";`
`3`	`3`
`4`		`-if (file_exists("{$_SERVER['HOME']}/PHONGO-SERVERS.json")) {`
`5`		`- $FILENAME = "{$_SERVER['HOME']}/PHONGO-SERVERS.json";`
`6`		`-} else {`
	`4`	`+if (($FILENAME = getenv("PHONGO_SERVERS")) === false) {`
`7`	`5`	`$FILENAME = sys_get_temp_dir() . "/PHONGO-SERVERS.json";`
`8`	`6`	`}`
`9`	`7`