Addressing issue #896 by checking for leftover pid file, and removing it if it exists

Ian Blenke лет %!s(int64=9): %!d(string=назад)
Родитель
Сommit
99ebeb80b8
1 измененных файлов с 5 добавлено и 0 удалено
  1. 5 0
      docker/scripts/init

+ 5 - 0
docker/scripts/init

@@ -6,6 +6,11 @@ cd /app
6 6
 # Default to the environment variable values set in .env.example
7 7
 source /app/.env.example
8 8
 
9
+# Cleanup any leftover pid file
10
+if [ -f /app/tmp/pids/server.pid ]; then
11
+  rm -f /app/tmp/pids/server.pid
12
+fi
13
+
9 14
 # is a mysql or postgresql database linked?
10 15
 # requires that the mysql or postgresql containers have exposed
11 16
 # port 3306 and 5432 respectively.