deploy

2024-08-27 17:15:14 +02:00
parent 1d6ad6785d
commit ed1008397d
3 changed files with 46 additions and 5 deletions
--- a/functions.php
+++ b/functions.php
@@ -43,7 +43,7 @@ function check_deploy() { // is a deploy in progress

 		$in_progress=0;
 		foreach ($members as $member) {
-			if (substr($member,0,7)=="deploy") {
+			if (substr($member,0,10)=="deployment") {
 				$in_progress=$member;
 				break;
 			}