Please wait and do not start a new one...";
}
else {
$header_text="Installing in progress... Please wait...";
$key = "install:".date("YmdHis");
redis_set($key,$json);
//$key = "install:20240816101849"; // DEBUG
}
/*
put_install_envs();
// check ENV variables
$output = shell_exec("set");
echo "".$output."
";
//$output = shell_exec("sh install.sh");
//echo $output;
*/
?>
INSTALLER TOOL