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";