check_deploy in output

This commit is contained in:
2025-01-09 10:09:27 +01:00
parent 3b45022447
commit 79d17a78af
2 changed files with 7 additions and 4 deletions

View File

@@ -244,7 +244,7 @@ switch ($_GET["op"]) {
}
break;
case "deploy":
if ($key=check_deploy()) {
if ($key=check_deploy($_GET["additional"])) {
$text="A deployment has already started.<br>Please wait and do not start a new one...";
}
else {