mirror of
https://github.com/jetty/jetty.project.git
synced 2025-03-03 12:29:31 +00:00
Print full RUN_CMD when jetty.sh -d is called
Also-by: Mike Dillon <mike@embody.org> Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
This commit is contained in:
parent
1274bb9e43
commit
7b00f6857f
@ -410,7 +410,7 @@ then
|
||||
echo "JETTY_ARGS = ${JETTY_ARGS[*]}"
|
||||
echo "JAVA_OPTIONS = ${JAVA_OPTIONS[*]}"
|
||||
echo "JAVA = $JAVA"
|
||||
echo "RUN_CMD = ${RUN_CMD}"
|
||||
echo "RUN_CMD = ${RUN_CMD[*]}"
|
||||
fi
|
||||
|
||||
##################################################
|
||||
|
Loading…
x
Reference in New Issue
Block a user