login patch because DockerHub is not friendly

no issue #

diff --git a/jenkins/run-docker-tests.sh b/jenkins/run-docker-tests.sh
index 6bf3859d38e9762dc05776fcd66c7d29c5c5e750..eff75ac43f56ec6c3b81b20c76283ae3df9e3164 100755 (executable)
--- a/jenkins/run-docker-tests.sh
+++ b/jenkins/run-docker-tests.sh
@@ -151,6 +151,11 @@ if [[ "$ECODE" != "0" ]]; then
     title "upload arvados images SKIPPED because build failed"
 else
     if [[ $upload == true ]]; then 
+        ## 20150526 nico -- *sometimes* dockerhub needs re-login 
+        ## even though credentials are already in .dockercfg
+        docker login -u arvados
+
+
         docker_push arvados/api
         docker_push arvados/compute
         docker_push arvados/doc