Modify Jetty http port configuration to use optional System Property (#2612)

Updated Jetty configuration to allow http port specification via Java System Property jetty.http.port keeping the default value as 8080.

Author: vincentml

basex-api/src/main/webapp/WEB-INF/jetty.xml

@@ -1,13 +1,16 @@
 <!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "http://www.eclipse.org/jetty/configure.dtd">
 <Configure id="Server" class="org.eclipse.jetty.server.Server">
   <!-- Default connector. The Jetty stop port can be specified 
-       in the .basex or pom.xml configuration file.  -->
+       in the .basex or pom.xml configuration file.
+       The Jetty http port can be specified here or by setting
+       the Java System Property jetty.http.port.
+  -->
   <Call name="addConnector">
     <Arg>
       <New class="org.eclipse.jetty.server.ServerConnector">
         <Arg name="server"><Ref refid="Server"/></Arg>
         <Set name="host">0.0.0.0</Set>
-        <Set name="port">8080</Set>
+        <Set name="port"><SystemProperty name="jetty.http.port" default="8080"/></Set>
         <Set name="idleTimeout">60000</Set>
         <Set name="reuseAddress">true</Set>
       </New>