From 58bbd02fd3acf8432916b2b15d1f153e1eb5f728 Mon Sep 17 00:00:00 2001
From: john30 <ebusd@ebusd.eu>
Date: Sun, 27 Aug 2017 12:03:58 +0200
Subject: [PATCH] check php

---
 test_coverage.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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);