diff options
| author | Joakim Erdfelt | 2015-02-09 21:50:34 +0000 |
|---|---|---|
| committer | Joakim Erdfelt | 2015-02-09 21:50:34 +0000 |
| commit | 7f0a073b54c1f15771f8264df9b890bb526bd7e0 (patch) | |
| tree | 63521b78a3d0e61ad365d63e7b8ec7c610117c05 /jetty-distribution | |
| parent | cb5541b58efb70963ad6869af76e56e43a21fbde (diff) | |
| parent | 7b00f6857f61d2858bb9356c75003e71a5c9026f (diff) | |
| download | org.eclipse.jetty.project-7f0a073b54c1f15771f8264df9b890bb526bd7e0.tar.gz org.eclipse.jetty.project-7f0a073b54c1f15771f8264df9b890bb526bd7e0.tar.xz org.eclipse.jetty.project-7f0a073b54c1f15771f8264df9b890bb526bd7e0.zip | |
Merge branch 'jetty-9.2.x'
Diffstat (limited to 'jetty-distribution')
| -rwxr-xr-x | jetty-distribution/src/main/resources/bin/jetty.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jetty-distribution/src/main/resources/bin/jetty.sh b/jetty-distribution/src/main/resources/bin/jetty.sh index 8a467449ea..e96a998067 100755 --- a/jetty-distribution/src/main/resources/bin/jetty.sh +++ b/jetty-distribution/src/main/resources/bin/jetty.sh @@ -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 ################################################## |