diff --git a/test_coverage.sh b/test_coverage.sh
index e5c8bf24..715ebb29 100755
--- a/test_coverage.sh
+++ b/test_coverage.sh
@@ -78,7 +78,11 @@ echo > dump
 ./src/tools/ebusctl -x >/dev/null 2>/dev/null
 ./src/tools/ebusctl 'help x' >/dev/null 2>/dev/null
 #server:
-php -r 'echo "php is available";'
+php -r 'echo "php is available";'|egrep 'php is available'
+if [ ! "$?" = 0 ]; then
+  echo `date` "php is not available"
+  exit 1
+fi
 php -r '
 error_reporting (E_ALL);
 set_time_limit (0);