26 Feb
2017
26 Feb
'17
2:07 p.m.
Hello all,
I just downloaded Basex861.zip for Linux (Ubuntu 16.04 the host).
Unizipped and started basexhttp. Everything ok.
In another shell I launch basexhttpstop which correctly shuts down the server started before. But basexhttpstop itself does not terminate.
This is causing some headache in our scripts that launch and stop several instances.
Any clue?
Thanks a lot,
Marco.