+ else
+ while ! $CURL -k -L -f http://workbench.$ARVADOS_DOMAIN >/dev/null 2>/dev/null ; do
+ echo "Waiting for Arvados to be ready."
+ sleep 1
+ done
+
+ `$DOCKER ps |grep -E "\bdoc_server\b" -q`
+ if [[ "$?" == "0" ]]; then
+ echo
+ echo "******************************************************************"
+ echo "You can access the Arvados documentation at http://doc.$ARVADOS_DOMAIN"
+ echo "******************************************************************"
+ echo
+ fi
+
+ `$DOCKER ps |grep -E "\bworkbench_server\b" -q`
+ if [[ "$?" == "0" ]]; then
+ echo
+ echo "********************************************************************"
+ echo "You can access the Arvados workbench at http://workbench.$ARVADOS_DOMAIN"
+ echo "********************************************************************"
+ echo
+ fi