}
docker_push () {
- echo $tags
if [[ ! -z "$tags" ]]
then
for tag in $( echo $tags|tr "," " " )
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