commit a1782ef04b7f05269d13cba1b2cde37aeec1d7a1 Author: Karsten Loesing <karsten.loesing@gmx.net> Date: Mon Jan 13 09:50:47 2020 +0100 Make Jetty host and port configurable. Implements #24222. --- CHANGELOG.md | 3 +++ src/main/resources/jetty.xml | 8 ++++++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d34453a..6bf4466 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,8 @@ # Changes in version 7.0-1.2?.? - 20??-??-?? + * Minor changes + - Make Jetty host and port configurable. + # Changes in version 7.0-1.23.0 - 2019-12-06 diff --git a/src/main/resources/jetty.xml b/src/main/resources/jetty.xml index 3e53131..7c0f954 100644 --- a/src/main/resources/jetty.xml +++ b/src/main/resources/jetty.xml @@ -26,8 +26,12 @@ <Arg> <Ref id="server"/> </Arg> - <Set name="port">8080</Set> - <Set name="host">127.0.0.1</Set> + <Set name="port"> + <SystemProperty name="onionoo.jetty.port" default="8080" /> + </Set> + <Set name="host"> + <SystemProperty name="onionoo.jetty.host" default="127.0.0.1" /> + </Set> </New> </Arg> </Call>