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

gistfile1.diff

--- 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