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`"
The proposed fixe is:
diff -u tomcat6- 6.0.18/ debian/ tomcat6. init tomcat6- 6.0.18/ debian/ tomcat6. init 6.0.18/ debian/ tomcat6. init 6.0.18/ debian/ tomcat6. init
--- tomcat6-
+++ tomcat6-
@@ -184,8 +184,10 @@
if [ -f "$CATALINA_PID" ]; then
log_success_ msg "$DESC is not running, but pid file exists."
log_success_ msg "$DESC is not running."
+ exit 1
else
+ exit 3
fi
else
log_success_msg "$DESC is running with pid `cat $CATALINA_PID`"