There are many ways to set options [1] but it is not clear to me which one wins in the case where different values are specified for the same option by the different ways. <br><br>I guess it is the 1st one to be set. So SystemProperty, then command line, then .basex?  <br>
<br>I am often getting caught out by the fact that in recent 7.5 builds the http properties are ignored unless they are set by editing jetty.xml.<br>I wonder if the supplied jetty.xml  could use &lt;SystemProperty&gt;. Something like:<br>
 <br>  &lt;New class=&quot;org.eclipse.jetty.server.nio.SelectChannelConnector&quot;&gt;<br>   &lt;!-- host sometimes needed in PaaS envronment --&gt;<br>    &lt;Set name=&quot;host&quot;&gt;&lt;SystemProperty name=&quot;org.basex.serverhost&quot; default=&quot;&quot;/&gt;&lt;/Set&gt;<br>
        &lt;Set name=&quot;port&quot;&gt;&lt;SystemProperty name=&quot;org.basex.serverport&quot; default=&quot;8984&quot;/&gt;&lt;/Set&gt;<br>        &lt;Set name=&quot;confidentialPort&quot;&gt;&lt;SystemProperty name=&quot;org.basex.??&quot; default=&quot;??&quot;/&gt;&lt;/Set&gt;<br>
        &lt;Set name=&quot;maxIdleTime&quot;&gt;60000&lt;/Set&gt;<br>        &lt;Set name=&quot;reuseAddress&quot;&gt;false&lt;/Set&gt;<br>        &lt;Set name=&quot;Acceptors&quot;&gt;2&lt;/Set&gt;<br>      &lt;/New&gt;<br>
/Andy<br><br><br>[1] <a href="http://docs.basex.org/wiki/Options">http://docs.basex.org/wiki/Options</a><br>