public
Last active

Patch Mac OS X's tomcat catalina.sh to remove the pidfile if the PID is not running

  • Download Gist
gistfile1.diff
Diff
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
--- catalina.sh.dist 2011-05-19 19:22:30.000000000 +0000
+++ catalina.sh 2011-05-19 19:22:45.000000000 +0000
@@ -311,8 +311,14 @@
if [ ! -z "$CATALINA_PID" ]; then
if [ -f "$CATALINA_PID" ]; then
- echo "PID file ($CATALINA_PID) found. Is Tomcat still running? Start aborted."
- exit 1
+ RUNNING=`ps aux|grep \`cat $CATALINA_PID\`|grep [java]|wc -l`
+ if [ $RUNNING -eq 1 ]; then
+ echo "PID file ($CATALINA_PID) found. Is Tomcat still running? Start aborted."
+ exit 1
+ else
+ echo "PID file ($CATALINA_PID) found, but PID is not running. Removing PID file."
+ rm $CATALINA_PID
+ fi
fi
fi

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.