mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 08:28:54 +00:00
Issue #344 (init script does not properly display status of a non running service).
This commit is contained in:
parent
1d04b9ece0
commit
df32714e8d
@ -563,7 +563,13 @@ case "$ACTION" in
|
||||
;;
|
||||
|
||||
check|status)
|
||||
echo "Checking arguments to Jetty: "
|
||||
if running "$JETTY_PID"
|
||||
then
|
||||
echo "Jetty running pid=$(< "$JETTY_PID")"
|
||||
else
|
||||
echo "Jetty NOT running"
|
||||
fi
|
||||
echo
|
||||
echo "START_INI = $START_INI"
|
||||
echo "START_D = $START_D"
|
||||
echo "JETTY_HOME = $JETTY_HOME"
|
||||
@ -582,7 +588,6 @@ case "$ACTION" in
|
||||
|
||||
if running "$JETTY_PID"
|
||||
then
|
||||
echo "Jetty running pid=$(< "$JETTY_PID")"
|
||||
exit 0
|
||||
fi
|
||||
exit 1
|
||||
|
Loading…
x
Reference in New Issue
Block a user