From 9fd5881f93a80e35f217b6458793bf322725d0f7 Mon Sep 17 00:00:00 2001 From: Jesse McConnell Date: Tue, 12 Mar 2013 08:30:12 -0500 Subject: [PATCH] [Bug 402735] jetty.sh to support status which is == check --- jetty-distribution/src/main/resources/bin/jetty.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jetty-distribution/src/main/resources/bin/jetty.sh b/jetty-distribution/src/main/resources/bin/jetty.sh index 4be89599d13..998a053c596 100755 --- a/jetty-distribution/src/main/resources/bin/jetty.sh +++ b/jetty-distribution/src/main/resources/bin/jetty.sh @@ -537,7 +537,7 @@ case "$ACTION" in ;; - check) + check|status) echo "Checking arguments to Jetty: " echo "JETTY_HOME = $JETTY_HOME" echo "JETTY_CONF = $JETTY_CONF"