set -euf -o pipefail

cd "$(dirname "${BASH_SOURCE[0]}")/.." # cd to repo root dir

export ROCKET_SECRET_KEY="+SecretKeyIsIrrelevantAndUnusedPleaseIgnore="

export ROCKET_ENV="production"

if [[ ${USE_SYNTECT_SERVER_FROM_PATH-} == t* ]]; then

# NB: this is NOT the common path - below is.

export QUIET='true'

export ROCKET_LIMITS='{json=10485760}'

export ROCKET_PORT=9238

if [[ "${INSECURE_DEV:-}" == '1' ]]; then

export ROCKET_ADDRESS='127.0.0.1'

fi

exec syntect_server

if [[ -z "${OFFLINE-}" ]] && ! docker pull sourcegraph/syntect_server > /dev/null; then

echo

echo Unable to pull latest container image for sourcegraph/syntect_server from the server.

echo

echo To run the dev server using the latest image available locally, rerun with OFFLINE=true.

exit 1

addr=''

secret_key=''

if [[ "${INSECURE_DEV:-}" == '1' ]]; then

addr='-e ROCKET_ADDRESS=0.0.0.0'

exec docker run --name=syntect_server --rm -p9238:9238 -e QUIET='true' \

-e ROCKET_LIMITS='{json=10485760}' \

-e ROCKET_SECRET_KEY=${ROCKET_SECRET_KEY} \

-e ROCKET_ENV=${ROCKET_ENV} \

${addr} \

sourcegraph/syntect_server