+ for tag in $(echo $tags|tr "," " " )
+ do
+ # Sometimes docker push fails; retry it a few times if necessary.
+ for i in `seq 1 5`; do
+ $DOCKER push $1:$tag
+ ECODE=$?
+ if [[ "$ECODE" == "0" ]]; then
+ break
+ fi
+ done
+
+ if [[ "$ECODE" != "0" ]]; then
+ title "!!!!!! docker push $1:$tag failed !!!!!!"
+ EXITCODE=$(($EXITCODE + $ECODE))
+ fi