diff options
author | Greg Wilkins | 2013-06-12 03:13:09 +0000 |
---|---|---|
committer | Greg Wilkins | 2013-06-12 03:13:09 +0000 |
commit | 53270e7edb4e16c3ec9cb796aafa3e9e6de89fef (patch) | |
tree | d62b0c3cfebbc4a2eff9fe0aad9e66ee84c65e84 /jetty-distribution | |
parent | 536b8d9504bde7731b7a0818f2d7c6826bf66c73 (diff) | |
download | org.eclipse.jetty.project-53270e7edb4e16c3ec9cb796aafa3e9e6de89fef.tar.gz org.eclipse.jetty.project-53270e7edb4e16c3ec9cb796aafa3e9e6de89fef.tar.xz org.eclipse.jetty.project-53270e7edb4e16c3ec9cb796aafa3e9e6de89fef.zip |
410522 JETTY_PORT sets jetty.port property instead of -Djetty.port
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 bfcb1fdabb..cbd9f24eb4 100755 --- a/jetty-distribution/src/main/resources/bin/jetty.sh +++ b/jetty-distribution/src/main/resources/bin/jetty.sh @@ -371,7 +371,7 @@ fi ##################################################### if [ "$JETTY_PORT" ] then - JAVA_OPTIONS+=("-Djetty.port=$JETTY_PORT") + JETTY_ARGS+=("jetty.port=$JETTY_PORT") fi ##################################################### |