From 016a8c086f7c9cc9d785f8ccc2ffb6975cb4a4da Mon Sep 17 00:00:00 2001 From: Omar Brikaa Date: Tue, 3 Oct 2023 15:21:48 +0300 Subject: [PATCH] exec comment --- repo/entrypoint.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/repo/entrypoint.sh b/repo/entrypoint.sh index 1565143..c167463 100755 --- a/repo/entrypoint.sh +++ b/repo/entrypoint.sh @@ -52,6 +52,7 @@ echo "Index created" if [[ $SERVER -eq 1 ]]; then echo "Starting index server.." + # We want the child process to replace the shell to handle signals exec python3 /serve.py else echo "Skipping starting index server"