Outsourced server port

WSE-research · May 21, 2024 · a02d9c7 · a02d9c7
1 parent 446783b
commit a02d9c7
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,5 +1,7 @@
 FROM python:3.9-slim
 
+ENV SERVER_PORT=8501
+
 RUN apt-get update && apt-get install -y \
     build-essential \
     curl \
@@ -13,8 +15,8 @@ WORKDIR /app
 
 RUN python3 -m pip install -r requirements.txt
 
-EXPOSE 8501
+EXPOSE $SERVER_PORT
 
 HEALTHCHECK CMD curl --fail http://localhost:8501/_stcore/health
 
-ENTRYPOINT [ "streamlit run explanation_frontend.py --server.port=8501 --server.address=0.0.0.0" ]
+ENTRYPOINT [ "streamlit run explanation_frontend.py --server.port=$SERVER_PORT --server.address=0.0.0.0" ]