--- a/src/phpcoverage.remote.top.inc.php +++ b/src/phpcoverage.remote.top.inc.php @@ -34,8 +34,9 @@ if(empty($PHPCOVERAGE_HOME)) { $env_var = getenv("PHPCOVERAGE_HOME"); if(empty($env_var)) { - $share_home = getenv("LOCAL_CACHE"); - $PHPCOVERAGE_HOME = $share_home . "/common/spikephpcoverage/src/"; + $msg = "Could not find PHPCOVERAGE_HOME. Please either export it in your environment before starting the web server. Or include PHPCOVERAGE_HOME=<path> in your HTTP request."; + error_log("[phpcoverage.remote.top.inc.php] FATAL: " . $msg); + die($msg); } else { $PHPCOVERAGE_HOME = $env_var; @@ -77,7 +78,7 @@ if(file_exists($tmpFile)) { $object = file_get_contents($tmpFile); $cov = unserialize($object); - $logger->info("[phpcoverage.remote.top.inc.php] Coverage object found: " . $cov, + $logger->info("[phpcoverage.remote.top.inc.php] Coverage object found." , __FILE__, __LINE__); } else { @@ -89,7 +90,7 @@ $cov = new RemoteCoverageRecorder(array(), array(), $covReporter); $object = serialize($cov); file_put_contents($tmpFile, $object); - $logger->info("[phpcoverage.remote.top.inc.php] Stored coverage object: " . $cov, + $logger->info("[phpcoverage.remote.top.inc.php] Stored coverage object found", __FILE__, __LINE__); }