[tor-commits] [metrics-web/master] Make Jetty host configurable.

[karsten at torproject.org]

commit 8695704b702babda7a91ff2095cc5463ab886710
Author: Karsten Loesing <karsten.loesing at 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>