set -euf -o pipefail

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

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

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

export QUIET='true'

export ROCKET_SECRET_KEY="SeerutKeyIsI7releuantAndknvsuZPluaseIgnorYA="

export ROCKET_ENV="production"

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

addr=''

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

addr='-e ROCKET_ADDRESS=0.0.0.0'

docker inspect syntect_server > /dev/null 2>&1 && docker rm -f syntect_server

exec docker run --name=syntect_server --rm -p9238:9238 ${addr} sourcegraph/syntect_server:2b5a3fb@sha256:ef5529cafdc68d5a21edea472ee8ad966878b173044aa5c3db93bc3d84765b1f