From cf0ea7546025df96682f8c7aaa7b11b5007540ff Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 30 Oct 2024 11:31:43 +0100
Subject: [PATCH] add exit to deploy script

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 17e597a..58aa038 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -356,6 +356,7 @@ def deploy(String service, String version, String host, String foo){
         println("Deploy statusCode value: "+statusCode);
         if (statusCode != 0){
         	currentBuild.result = 'FAILURE'
+            exit statusCode;
         }
     }