From 7ba6bb92b0af6fb45be0be26704f22cf3e669d57 Mon Sep 17 00:00:00 2001 From: Greg Wilkins Date: Sat, 16 Mar 2013 10:34:30 +1100 Subject: [PATCH] 403281 jetty.sh waits for started or failure before returning --- jetty-distribution/src/main/resources/bin/jetty.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/jetty-distribution/src/main/resources/bin/jetty.sh b/jetty-distribution/src/main/resources/bin/jetty.sh index c01fbd8dbfb..8b5bb2b5dc3 100755 --- a/jetty-distribution/src/main/resources/bin/jetty.sh +++ b/jetty-distribution/src/main/resources/bin/jetty.sh @@ -478,6 +478,7 @@ case "$ACTION" in echo "OK `date`" else echo "FAILED `date`" + exit 1 fi ;;