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