Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Commit

Permalink
Make theia hostname configurable (#626)
Browse files Browse the repository at this point in the history
The hostname on which Theia starts is now configurable through
THEIA_HOST env var with the default of 0.0.0.0 to preserve the original
behavior.
  • Loading branch information
metlos authored Feb 14, 2020
1 parent af4ea0a commit ae27d4a
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion dockerfiles/theia/src/entrypoint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,10 @@ else
fi
fi

if [ -z "$THEIA_HOST" ]; then
THEIA_HOST="0.0.0.0"
fi

# SITTERM / SIGINT
responsible_shutdown() {
echo ""
Expand All @@ -77,7 +81,7 @@ fi
shopt -u nocasematch

# run Che Theia
node src-gen/backend/main.js /projects --hostname=0.0.0.0 --port=${THEIA_PORT} &
node src-gen/backend/main.js /projects --hostname=${THEIA_HOST} --port=${THEIA_PORT} &

PID=$!

Expand Down

0 comments on commit ae27d4a

Please sign in to comment.