diff --git a/docker/init_scripts/init b/docker/init_scripts/init index 4130a3977..2786a8821 100755 --- a/docker/init_scripts/init +++ b/docker/init_scripts/init @@ -120,6 +120,9 @@ cd /backend || { error_log "/backend directory doesn't seem to exist"; } info_log "Starting up, please wait..." +# clear any leftover PID files +rm /tmp/*.pid -f + # function definition done, lets start our main loop while true; do # check for died processes every 5 seconds