diff --git a/deploy/Dockerfile b/deploy/Dockerfile index fb86716..e92561a 100644 --- a/deploy/Dockerfile +++ b/deploy/Dockerfile @@ -9,5 +9,8 @@ COPY web/ ./web/ # Expose a random non-standard port EXPOSE 8421 +# Python's http.server gracefully exits on SIGINT (Ctrl+C) rather than SIGTERM +STOPSIGNAL SIGINT + # Run the python HTTP server CMD ["python", "-m", "http.server", "8421"]