|
@@ -308,8 +308,6 @@ is_down() {
|
|
|
ps -p "$parent"
|
|
ps -p "$parent"
|
|
|
return 0
|
|
return 0
|
|
|
fi
|
|
fi
|
|
|
- echo "ERROR: $PID is still around"
|
|
|
|
|
- ps -p "$PID"
|
|
|
|
|
return 1
|
|
return 1
|
|
|
fi
|
|
fi
|
|
|
# it's gone
|
|
# it's gone
|
|
@@ -490,6 +488,8 @@ case "$1" in
|
|
|
logger -t "${REL_NAME}[${PID}]" "STOP: $msg"
|
|
logger -t "${REL_NAME}[${PID}]" "STOP: $msg"
|
|
|
# log to user console
|
|
# log to user console
|
|
|
echoerr "stop failed, $msg"
|
|
echoerr "stop failed, $msg"
|
|
|
|
|
+ echo "ERROR: $PID is still around"
|
|
|
|
|
+ ps -p "$PID"
|
|
|
exit 1
|
|
exit 1
|
|
|
fi
|
|
fi
|
|
|
logger -t "${REL_NAME}[${PID}]" "STOP: OK"
|
|
logger -t "${REL_NAME}[${PID}]" "STOP: OK"
|