Created

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist

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

View gist:981514
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.