1
0
Fork 0
mirror of https://github.com/engineer-man/piston.git synced 2025-04-21 12:36:28 +02:00

exec comment

This commit is contained in:
Omar Brikaa 2023-10-03 15:21:48 +03:00
parent fef00b96f1
commit 016a8c086f

View file

@ -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"