+
+ echo
+ echo "*****************************************************************"
+ echo "To access Arvados using command line tools on the host we recommend you add"
+ echo "the arvados nameserver to the top of your DNS configuration in /etc/resolv.conf:"
+ echo "nameserver 172.17.42.1"
+ echo "*****************************************************************"
+ echo
+ fi
+
+ if [[ $start_sso != false ]]
+ then
+ start_container "$start_sso:443" "sso_server" '' '' "arvados/sso"
+ fi
+
+ if [[ $start_api != false ]]
+ then
+ if [[ $start_sso != false ]]; then
+ start_container "$start_api:443" "api_server" '' "sso_server:sso" "arvados/api"
+ else
+ start_container "$start_api:443" "api_server" '' '' "arvados/api"
+ fi