403281 jetty.sh waits for started or failure before returning

2013-03-15 08:32:24 +11:00 · 2013-03-15 08:32:24 +11:00 · cc34bdc20a
parent 38d701753c
commit cc34bdc20a
1 changed files with 4 additions and 0 deletions
--- a/jetty-distribution/src/main/resources/bin/jetty.sh
+++ b/jetty-distribution/src/main/resources/bin/jetty.sh
@ -117,6 +117,10 @@ started()
  do
    sleep 4
    [ -z "$(grep STARTED $1)" ] || return 0
+    [ -z "$(grep STOPPED $1)" ] || return 1
+    [ -z "$(grep FAILED $1)" ] || return 1
+    local PID=$(head -n 1 "$1" 2>/dev/null) || return 1
+    kill -0 "$PID" 2>/dev/null || return 1
    echo -n ". "
  done