Details
-
Type:
Bug
-
Status:
Resolved
-
Priority:
Major
-
Resolution: Fixed
-
Affects Version/s: 6.1.11
-
Fix Version/s: 7.0.0pre4, 6.1.12.rc3, 6.1.12
-
Component/s: None
-
Labels:None
-
Patch Submitted:Yes
-
Number of attachments :
Description
The jetty.sh script contains checks to see if a PID file exists and refuses to start Jetty if one does. If the Jetty process dies without being shutdown cleanly from jetty.sh the PID file is not removed and Jetty refuses to start without manual intervention.
The jetty.sh script needs a check to see if the PID stored is still running. I've attached a patch for jetty.sh that does this.
Michael,
If you change the ff:
ps `cat $JETTY_PID` > /dev/null 2>&1
if [ $? = 0 ]
to:
if running $JETTY_PID
Does that work for you?
Cheers