From 2187eeb3568da09e01727d7c42ae5cebb29ffc4b Mon Sep 17 00:00:00 2001
From: Erik Parmann <epar@statoil.com>
Date: Tue, 6 Nov 2018 12:39:08 +0100
Subject: [PATCH] docker_push.sh: Exit script if docker login fails

---
 docker_push.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docker_push.sh b/docker_push.sh
index 7228947e8..4554150b1 100755
--- a/docker_push.sh
+++ b/docker_push.sh
@@ -37,8 +37,8 @@ fi
 if [[ -z "${DOCKER_USERNAME}" ]]; then
     echo "DOCKER_USERNAME not set: we assume that you are already logged in to the docker registry."
 else
-    # Logging in to the docker registry
-    echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin $DOCKER_REGISTRY
+    # Logging in to the docker registry, exiting script if it fails
+    echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin $DOCKER_REGISTRY || exit 1
 fi
 
 export git_sha=$(git rev-parse HEAD | cut -c 1-8)