redis check

functions.php

@@ -1,6 +1,6 @@
 <?php
 
-$REDIS_HOST='redis';
+$REDIS_HOST='redis-server';
 
 function ping_redis() {
 

scan.php

@@ -1,9 +1,19 @@
 <?php
+include "functions.php";
 
 switch ($_GET["op"]) {
-	"redis":
+	case "redis":
-		echo ping_redis();
+		try {
-	"docker":
+			$ret = ping_redis();
+			if ($ret===false) {
+				echo "Can't ping redis-server";
+			}
+			else echo true;
+		} catch (RedisException $e) {
+			echo "RedisException caught: " . $e->getMessage();
+		}
+	break;
+	case "docker":
 		echo true;
 	break;