From 20f82cb65771c09850c892bc07c914b11c2d5c4f Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 28 Sep 2022 17:05:10 +0200
Subject: [PATCH] restored old cron

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 6600263..5f6fec0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -41,9 +41,9 @@ pipeline {
 
     triggers {
 //     every fifteen minutes (perhaps at :07, :22, :37, :52)
-       cron('H/15 * * * *')
+//       cron('H/15 * * * *')
 //     once in every two hours slot between 9 AM and 5 PM every weekday (perhaps at 10:38 AM, 12:38 PM, 2:38 PM, 4:38 PM)
-//       cron('H H(9-16)/6 * * 1-5')
+       cron('H H(9-16)/6 * * 1-5')
     }
     
     environment {
@@ -85,7 +85,7 @@ pipeline {
                   date=`date`;
                   mkdir -p ${DEPLOY_FILE_ROOT_FOLDER}
                   mkdir -p "${WORKSPACE}/CD"
-                  'mv -v "${DEPLOY_FILE_ROOT_FOLDER}\*" "${WORKSPACE}"'
+                  mv -v "${DEPLOY_FILE_ROOT_FOLDER}\*" "${WORKSPACE}"
                 '''
             }
         }