Merge branch 'jetty-7' into jetty-8

2013-03-12 08:32:34 -05:00 · 2013-03-12 08:32:34 -05:00 · d358030299
parent 97eec14651 9fd5881f93
commit d358030299
1 changed files with 1 additions and 1 deletions
--- 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"