diff --git a/manage.html b/manage.html index 3740e8c..b6bf040 100644 --- a/manage.html +++ b/manage.html @@ -16,6 +16,32 @@

Found deployed envinronment

+
+ SETTINGS +
+ + +
Deployments
Loading...
@@ -44,6 +70,24 @@ diff --git a/scan.php b/scan.php index 487381d..5d62850 100644 --- a/scan.php +++ b/scan.php @@ -28,6 +28,26 @@ switch ($_GET["op"]) { } else echo "NOT EXISTS"; break; + case "repositories": + $arr = array("STATUS" => 0); + $json = json_encode($arr, JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT); + + $op = "repositories"; + redis_set($op,$json); + echo "OK"; // TODO? + + case "check_repositories": + $arr = check_redis("web_out","repositories"); + if (!empty($arr)) { + foreach ($arr as $key=>$data) { + if ($key=="repositories") { + echo base64_decode($data["RESULT"]); + redis_remove("$key"); + } + } + } + else echo ""; + break; case "init": $arr = array("STATUS" => 0); $json = json_encode($arr, JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT);