Hi Marco,
Hm, so it seems that the file is not deleted by the shutdown process. I cannot reproduce this with the zip distribution on both Window 10 and Ubuntu; have you changed anything in the configuration files?
Christian
On Tue, Feb 28, 2017 at 9:38 AM, Marco Lettere m.lettere@gmail.com wrote:
Hi Christian, -d doesn't add much info. But we've found out that the shutdown script hangs on a file BasexHTTP8985 in the tmp directory. This happens btw on Windows 7 too. If we delete the file, while basexhttpstop is blocked, then basexhttpstop ends immediately and correctly. If we ctrl-c basexhttpstop then at the next shutdown we get a FileAlreadyExists exception.
Thanks for tour support. Marco.
Il 28 feb 2017 12:05 AM, "Christian Grün" christian.gruen@gmail.com ha scritto:
Hi Marco,
Could you please report back to us what exactly is output on the two shells? Ideally, please run both commands with the -d flag.
Thanks in advance, Christian
PS: Does it work with 8.6, 8.5.3 or older versions?
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.