From 227fdca580a916f45d76c97dc955f771cec6cf4d Mon Sep 17 00:00:00 2001 From: "k.eaven" Date: Tue, 12 Aug 2025 02:36:08 -0700 Subject: [PATCH] Add Docker process manager --- dockerfile | 6 ++++++ 1 file changed, 6 insertions(+) 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 \