..added. There is no option yet for the confidential port, as it required a number of additional options. Anyway, if you think that would be useful, we could easily add such an option. ___________________________
> 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. > I wonder if the supplied jetty.xml could use <SystemProperty>. Something > like: > > <New class="org.eclipse.jetty.server.nio.SelectChannelConnector"> > <!-- host sometimes needed in PaaS envronment --> > <Set name="host"><SystemProperty name="org.basex.serverhost" > default=""/></Set> > <Set name="port"><SystemProperty name="org.basex.serverport" > default="8984"/></Set> > <Set name="confidentialPort"><SystemProperty name="org.basex.??" > default="??"/></Set> > <Set name="maxIdleTime">60000</Set> > <Set name="reuseAddress">false</Set> > <Set name="Acceptors">2</Set> > </New> > /Andy > > > [1] http://docs.basex.org/wiki/Options > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk@mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk > _______________________________________________ BaseX-Talk mailing list BaseX-Talk@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk