From 99ebeb80b8c51a175c82db39d85c375ec2acb4cd Mon Sep 17 00:00:00 2001 From: Ian Blenke Date: Fri, 10 Jul 2015 22:57:40 -0400 Subject: [PATCH] Addressing issue #896 by checking for leftover pid file, and removing it if it exists --- docker/scripts/init | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docker/scripts/init b/docker/scripts/init index 934e9a3d..e3b3ab5a 100755 --- a/docker/scripts/init +++ b/docker/scripts/init @@ -6,6 +6,11 @@ cd /app # Default to the environment variable values set in .env.example source /app/.env.example +# Cleanup any leftover pid file +if [ -f /app/tmp/pids/server.pid ]; then + rm -f /app/tmp/pids/server.pid +fi + # is a mysql or postgresql database linked? # requires that the mysql or postgresql containers have exposed # port 3306 and 5432 respectively.