You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
if [ -z ${SERVER_URI+x} ]; then echo "SERVER_URI needs to be set"; exit 1 ; else echo "SERVER_URI is set to '$SERVER_URI'"; fi
if [ -z ${CURRICULUM_URI+x} ]; then echo "CURRICULUM_URI not set. Defaulting to $defaultCurrURI"; export CURRICULUM_URI=${defaultCurrURI}; else echo "CURRICULUM_URI is et to '$CURRICULUM_URI'"; fi