diff --git a/build-test-jetty.xml b/build-test-jetty.xml index 7e44970dfdd2cd..c82e399b7a7c14 100644 --- a/build-test-jetty.xml +++ b/build-test-jetty.xml @@ -36,8 +36,8 @@ - set "JAVA_OPTS=-Djetty.version=7.5.1 -Djetty.version.date=20110908 -Dfile.encoding=UTF8 -Djava.io.tmpdir=../temp -Djava.net.preferIPv4Stack=true -Duser.timezone=GMT -Xmx1024m -XX:MaxPermSize=256m" - set "JAVA_OPTS=-Djetty.version=7.5.1 -Djetty.version.date=20110908 -Dfile.encoding=UTF8 -Djava.io.tmpdir=../temp -Djava.net.preferIPv4Stack=true -Duser.timezone=GMT -Xmx1024m -XX:MaxPermSize=256m -DSTOP.PORT=8079 -DSTOP.KEY=secret" + set "JAVA_OPTS=-D + set "JAVA_OPTS=-DSTOP.PORT=8079 -DSTOP.KEY=secret -D "%JAVA_HOME%/bin/java" %JAVA_OPTS% -jar ../start.jar - "%JAVA_HOME%/bin/java" %JAVA_OPTS% -jar ../start.jar --stop + "%JAVA_HOME%/bin/java" %JAVA_OPTS% -jar ../start.jar --stop diff --git a/build.xml b/build.xml index d10594f61ccbd6..e4962ca47b6037 100644 --- a/build.xml +++ b/build.xml @@ -413,8 +413,16 @@ JAVA_OPTS="$JAVA_OPTS -Dfile.encoding=UTF-8 -Djava.net.preferIPv4Stack=true -Dus set "JAVA_OPTS=-D - set "JAVA_OPTS=-Djetty.version=${app.server.jetty.version} -Djetty.version.date=${app.server.jetty.version.date} -D + set "JAVA_OPTS=-Djetty.version=${app.server.jetty.version} -Djetty.version.date=${app.server.jetty.version.date} -D + + + + + + + + ${run.bat.content} @@ -435,8 +443,16 @@ JAVA_OPTS="$JAVA_OPTS -Dfile.encoding=UTF-8 -Djava.net.preferIPv4Stack=true -Dus export JAVA_OPTS="-D - export JAVA_OPTS="-Djetty.version=${app.server.jetty.version} -Djetty.version.date=${app.server.jetty.version.date} -D + export JAVA_OPTS="-Djetty.version=${app.server.jetty.version} -Djetty.version.date=${app.server.jetty.version.date} -D + + + + + + + + ${run.sh.content}