diff --git a/dockerfile b/dockerfile index a6813cb..43db197 100644 --- a/dockerfile +++ b/dockerfile @@ -4,6 +4,12 @@ FROM python:3.11-slim # Set working directory WORKDIR /app +# Docker process manager +ENV TINI_VERSION v0.19.0 +ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini /tini +RUN chmod +x /tini +ENTRYPOINT ["/tini", "--"] + # Install dependencies RUN apt-get update && apt-get install -y \ gcc \