Skip to content

Embed URL

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Patch Mac OS X's tomcat catalina.sh to remove the pidfile if the PID is not running
--- 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.