6388: Extend API server upgrade script to do initial database setup.
[arvados-dev.git] / jenkins / run-docker-tests.sh
index 4f584d8979e0932f43b8ad89d0ef8d6d220c9cca..eff75ac43f56ec6c3b81b20c76283ae3df9e3164 100755 (executable)
@@ -64,7 +64,6 @@ title () {
 }
 
 docker_push () {
-    echo $tags
     if [[ ! -z "$tags" ]]
     then
         for tag in $( echo $tags|tr "," " " )
@@ -152,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