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