[tor-commits] [onionoo/release] Make Jetty host and port configurable.

[karsten at torproject.org]

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