commit 8695704b702babda7a91ff2095cc5463ab886710 Author: Karsten Loesing karsten.loesing@gmx.net Date: Mon Jan 13 09:49:50 2020 +0100

Make Jetty host configurable.

Related to #24222. --- CHANGELOG.md | 3 +++ src/main/resources/jetty.xml | 4 +++- 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md index 797d54b..2682cfc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,9 @@ extrapolated statistics even if computed network fractions are zero, to avoid re-processing these statistics over and over.

+ * Minor changes + - Make Jetty host configurable. +

# Changes in version 1.3.0 - 2019-11-09

diff --git a/src/main/resources/jetty.xml b/src/main/resources/jetty.xml index d7c0a7d..db53363 100644 --- a/src/main/resources/jetty.xml +++ b/src/main/resources/jetty.xml @@ -59,7 +59,9 @@ <Set name="port"> <SystemProperty name="web.jetty.port" default="8080" /> </Set> - <Set name="host">127.0.0.1</Set> + <Set name="host"> + <SystemProperty name="web.jetty.host" default="127.0.0.1" /> + </Set> </New> </Arg> </Call>