410522 JETTY_PORT sets jetty.port property instead of -Djetty.port

2013-06-12 13:13:09 +10:00 · 2013-06-12 13:13:09 +10:00 · 53270e7edb
parent 536b8d9504
commit 53270e7edb
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
@ -371,7 +371,7 @@ fi
 #####################################################
 if [ "$JETTY_PORT" ] 
 then
-  JAVA_OPTIONS+=("-Djetty.port=$JETTY_PORT")
+  JETTY_ARGS+=("jetty.port=$JETTY_PORT")
 fi

 #####################################################