Eclipse/jetty.project
1
0
Fork 0
mirror of https://github.com/jetty/jetty.project.git synced 2025-03-04 21:09:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Issue #7182 having running() delete the state file where it previously only deleted the pid file. (#7184)

Browse Source 
* Issue #7182 changing approach from deleting the state file consistently to simply grep'ing for last line in JETTY_STATE file

Signed-off-by: Ian Rifkin <ianrifkin@ianrifkin.com>
This commit is contained in:
ianrifkin 2022-03-23 14:25:34 -04:00 committed by GitHub
parent 7b648f6d5c
commit 9da5c21ea3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
jetty-home/src/main/resources/bin/jetty.sh
View File

@ -136,9 +136,9 @@ started()
for ((T = 0; T < $(($3 / 4)); T++)) for ((T = 0; T < $(($3 / 4)); T++))
do do
sleep 4 sleep 4
[ -z "$(grep STARTED $1 2>/dev/null)" ] || return 0 [ -z "$(tail -1 $1 | grep STARTED 2>/dev/null)" ] || return 0
[ -z "$(grep STOPPED $1 2>/dev/null)" ] || return 1 [ -z "$(tail -1 $1 | grep STOPPED 2>/dev/null)" ] || return 1
[ -z "$(grep FAILED $1 2>/dev/null)" ] || return 1 [ -z "$(tail -1 $1 | grep FAILED 2>/dev/null)" ] || return 1
local PID=$(cat "$2" 2>/dev/null) || return 1 local PID=$(cat "$2" 2>/dev/null) || return 1
kill -0 "$PID" 2>/dev/null || return 1 kill -0 "$PID" 2>/dev/null || return 1
echo -n ". " echo -n ". "