From 3048d0aa85b66ecb298ce8661366340d61b2809e Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 28 Apr 2022 15:31:21 +0200
Subject: [PATCH] small comment

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f55b582..e135958 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -46,6 +46,7 @@ pipeline {
         BACKUP_FILE = "${agent_root_folder}/${agent_deploy_backup_filename}"
         TRIGGER_JOB= "${params.TRIGGER_JOB}"
         TRIGGER_VERSION= "${params.TRIGGER_VERSION}"
+    // maybe here define another param used to identify the target host. In this way the developer can change it from the job    
     }
     stages {
         stage('initialize environment') {