Hello,

 

a)      I don’t see the point of the ‘basexserverstop’ and ‘basexhttpstop’ scripts.  If I run the server as a foreground process, the only way of stopping it (that I’m aware of) is to press CTRL-C, in which case there is no opportunity to run ‘basexserverstop’.   If I run the server as a background process, how will the ‘basexserverstop’ script know which process ID to kill?

 

b)      Please can I have a login for the documentation wiki?  I think I tried applying through the site, but didn’t receive a response.

 

 

Best regards,

Thomas