From a5c1b7e9798565f07e231c43b3453fe7b69c7368 Mon Sep 17 00:00:00 2001
From: Nico Cesar <nico@curoverse.com>
Date: Tue, 21 Jul 2015 10:10:24 -0400
Subject: [PATCH] added exit if git pull fails

no issue #
---
 jenkins/run-deploy.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index 398a050..1d23b4e 100755
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -182,6 +182,10 @@ if [[ "$?" == "0" ]]; then
 else
   title "Installing latest arvados/jobs Docker image"
   ssh -o "StrictHostKeyChecking no" shell.$IDENTIFIER "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN /usr/local/rvm/bin/rvm-exec default arv keep docker --pull --project-uuid=$DOCKER_IMAGES_PROJECT arvados/jobs $GIT_COMMIT"
+  if [[ "$?" -ne 0 ]]; then
+    title "'git pull' failed exiting..."
+    exit 1
+  fi
 fi
 
 title "Gathering list of shell and Keep nodes"
-- 
2.30.2