Hi Andy,
I wonder if SERVERHOST should be set here? As with SERVER PORT.. https://github.com/BaseXdb/basex/blob/0af4ead914d3d1946e5a8ce9672811a34f9330...
I have updated the code as suggested by you. Could you please give it another try? The next snapshot will be available online in appr. 5 minutes.
Thanks, Christian