check php

2017-08-27 12:03:58 +02:00
parent 889a170c81
commit 58bbd02fd3
1 changed files with 5 additions and 1 deletions
@@ -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);