Comment 2 for bug 288218

Revision history for this message
Mathias Gug (mathiaz) wrote :

The proposed fixe is:

diff -u tomcat6-6.0.18/debian/tomcat6.init tomcat6-6.0.18/debian/tomcat6.init
--- tomcat6-6.0.18/debian/tomcat6.init
+++ tomcat6-6.0.18/debian/tomcat6.init
@@ -184,8 +184,10 @@

   if [ -f "$CATALINA_PID" ]; then
       log_success_msg "$DESC is not running, but pid file exists."
+ exit 1
   else
       log_success_msg "$DESC is not running."
+ exit 3
   fi
  else
   log_success_msg "$DESC is running with pid `cat $CATALINA_PID`"