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.
>