[patch] Diff containing changes to catalina.sh. Diff does not contain directory info.

catalina.sh.diff (text/plain), 723 bytes, created by Michael van der Gulik on 2010-10-20 19:57:43 UTC

(hide)

Description: Diff containing changes to catalina.sh. Diff does not contain directory info.

Filename:

MIME Type:

Creator: Michael van der Gulik

Created: 2010-10-20 19:57:43 UTC

Size: 723 bytes

patch

obsolete

>--- catalina.sh-orig 2010-10-21 12:55:25.000000000 +1300 >+++ catalina.sh-mine 2010-10-21 12:54:43.000000000 +1300 >@@ -306,8 +306,16 @@ > > if [ ! -z "$CATALINA_PID" ]; then > if [ -f "$CATALINA_PID" ]; then >- echo "PID file ($CATALINA_PID) found. Is Tomcat still running? Start aborted." >- exit 1 >+ kill -0 `cat $CATALINA_PID` >/dev/null 2>&1 >+ if [ $? -eq 1 ]; then >+ echo "PID file ($CATALINA_PID) found but no matching process found." >+ echo "Assuming that Tomcat has failed without cleaning PID file." >+ echo "Starting Tomcat" >+ else >+ echo "\$CATALINA_PID set and process found. Tomcat appears to already be running." >+ echo "Not starting Tomcat" >+ exit 1 >+ fi > fi > fi > View Attachment As Diff View Attachment As Raw

This is ASF Bugzilla: the Apache Software Foundation bug system. In case of problems with the functioning of ASF Bugzilla, please contact bugzilla-admin@apache.org. Please Note: this e-mail address is only for reporting problems with ASF Bugzilla. Mail about any other subject will be silently ignored.

• • Home
  • | New
  • | Browse
  • | Search
  • |
    [?]
  • | Reports
  • | Help
  • | New Account
  • | Log In
    Remember [x]
  • | Forgot Password
    Login: [x]