From dd817f5570e12a625c62122534e7d444443ea90c Mon Sep 17 00:00:00 2001 From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch> Date: Thu, 14 Dec 2023 11:17:34 +0100 Subject: [PATCH] fix unknown result --- check_deployment.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check_deployment.sh b/check_deployment.sh index 02c3368..9433293 100755 --- a/check_deployment.sh +++ b/check_deployment.sh @@ -58,7 +58,7 @@ if [ $iCount -eq 0 ]; then echo "UNKNOWN: Deployment No profile was created yet." else if [ $iErrors -eq 0 ]; then - if [ $iUnknown -eq 0 ]; then + if [ $iUnknown -gt 0 ]; then echo -n "UNKNOWN" else echo -n "OK" -- GitLab