From 5862b08ad75eb8267181a54841c8af87f9415e5a Mon Sep 17 00:00:00 2001 From: root Date: Mon, 16 Sep 2024 15:04:15 +0200 Subject: [PATCH] updates redis --- scan.php | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/scan.php b/scan.php index 959256f..f6f802b 100644 --- a/scan.php +++ b/scan.php @@ -86,6 +86,33 @@ switch ($_GET["op"]) { } else echo "WAIT"; break; + case "updates": + $arr = array("STATUS" => 0); + $json = json_encode($arr, JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT); + + $op = "updates"; //"init:".date("YmdHis"); + redis_set($op,$json); + echo "OK"; // TODO? + break; + case "check_updates": + $arr = check_redis("web_out","updates"); + if (!empty($arr)) { + foreach ($arr as $key=>$data) { + if ($key=="updates") { + if ($data["INSTALL_STATUS"]==2) echo "NEW"; + elseif ($data["INSTALL_STATUS"]==1) { + foreach ($data["INSTALLED_SERVICES"] as $service_name => $object) { + //echo base64_decode($object["content"]); + show_service($service_name, $object["running"]); + } + echo "
"; + } + redis_remove("$key"); + } + } + } + else echo "WAIT"; + break; case "deployments": $arr = array("STATUS" => 0); $json = json_encode($arr, JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT);