[ARVADOS-DEV] updated: b2a667483295c7dd2d694cef111faeece6345180

[Git user]

Summary of changes:
 jenkins/run-deploy.sh | 2 ++
 1 file changed, 2 insertions(+)

       via  b2a667483295c7dd2d694cef111faeece6345180 (commit)
      from  eae26c6592ea79bfa1617e51803ef7d0e4979262 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit b2a667483295c7dd2d694cef111faeece6345180
Author: Ward Vandewege <ward at curoverse.com>
Date:   Sat Jul 16 16:12:19 2016 -0400

    Make sure to tag the docker image as latest even if it already exists.
    
    refs #9254

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index d54d2ac..4dd10e1 100755
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -221,6 +221,8 @@ run_command shell.$IDENTIFIER ECODE "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_
 
 if [[ "$?" == "0" ]]; then
   title "Found latest arvados/jobs Docker image, nothing to upload"
+  # Just in case it isn't yet, tag the image as latest
+  ssh -o "StrictHostKeyChecking no" shell.$IDENTIFIER "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv-keepdocker arvados/jobs latest"
 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"

-----------------------------------------------------------------------


hooks/post-receive
--