8 May
2017
8 May
'17
2:27 p.m.
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