From 9eb1ccdf5ad09248f078790bdff3edcc4e51dd53 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 30 Apr 2018 15:39:54 +0200
Subject: [PATCH] [web] Deploy via local hostname.

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c20ff33afc3..7cdb084b96f 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'
               }
             }
           }
-- 
GitLab