diff --git a/Jenkinsfile b/Jenkinsfile index c20ff33afc3d0462809e904e67225c728bbb8633..7cdb084b96fcd3beb298186fadf5fdeffd36bdcc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -436,7 +436,7 @@ pipeline { sshagent(credentials: ['www-data_jenkins']) { sh 'rsync -a --delete --stats -e "ssh -o UserKnownHostsFile=' + 'known_hosts" web/. ' + - 'www-data@jenkins.opengeosys.org:/var/www/dev.opengeosys.org' + 'www-data@jenkins:/var/www/dev.opengeosys.org' } } } @@ -451,7 +451,7 @@ pipeline { sshagent(credentials: ['www-data_jenkins']) { sh 'rsync -a --delete --stats -e "ssh -o UserKnownHostsFile=' + 'known_hosts" doxygen/. ' + - 'www-data@jenkins.opengeosys.org:/var/www/doxygen.opengeosys.org' + 'www-data@jenkins:/var/www/doxygen.opengeosys.org' } } }