[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
[tor-commits] [metrics-web/master] Make Jetty host configurable.
commit 8695704b702babda7a91ff2095cc5463ab886710
Author: Karsten Loesing <karsten.loesing@xxxxxxx>
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>
_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits