Hi Thomas, I have slightly revised the documentation to indicate which options need to be assigned in the standard XML files and which are complementary [1]. Hope this helps, Christian [1] http://docs.basex.org/wiki/Options#HTTP_Services On Sun, Aug 6, 2017 at 8:41 PM, Thomas Daly <letterbox@daladi.com> wrote:

Regarding http://docs.basex.org/wiki/Options#HTTP_Services , I see there’s an option STOPPORT to change the server stop port.

I think it should be possible to configure the server listen port (default 8984) there as well.

I realise it’s possible to do this through command line options, but it would be nice to be able to do it in the .basex file too.

Thanks,

Thomas