From 97ff85b943d568480417bab2ccd0499bcc4faf4a Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 9 May 2022 13:01:55 +0200
Subject: [PATCH] fix ansicolor plugin declaration

---
 Jenkinsfile | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index eb5249f..6e11b96 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -28,10 +28,11 @@ backupList = agent_root_folder+'/'+agent_deploy_backup_filename;
 pipeline {
     agent {
         label 'deploy'
-        options {
-            ansiColor('xterm')
-        }
     }
+    options {
+        ansiColor('xterm')
+    }
+
     triggers {
 //     every fifteen minutes (perhaps at :07, :22, :37, :52)
 //       cron('H/15 * * * *')
@@ -220,6 +221,12 @@ def deploy(String service, String version, String host){
     """)
 }
 
+def checkup(String service, String version, String host){
+    sh("""
+        exit 0;
+    )
+}
+
 def cleanup(def DEPLOY_FILE, def BACKUP_FILE){
     sh '''
         echo "cleanup $DEPLOY_FILE";