From 5335a18f69868df973da6f2a97a6b81016f1caf3 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Tue, 27 Feb 2018 16:52:32 +0100
Subject: [PATCH] Fixes #72

---
 gitlab/functions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 83b4553..b98b26e 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -135,7 +135,7 @@ run_cmd() {
 # Checks if a file exists on the remote location
 # $1: Path to the file to check on the server
 dav_exists() {
-  curl --head --silent --location ${DOCSERVER}/${1} | grep HTTP | tail -n 1 | grep -q 200
+  curl --head --silent --user "${DOCUSER}:${DOCPASS}" --location ${DOCSERVER}/${1} | grep HTTP | tail -n 1 | grep -q 200
   return $?
 }
 
-- 
GitLab