exec comment

engineer-man · Oct 3, 2023 · 016a8c0 · 016a8c0
1 parent fef00b9
commit 016a8c0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"