JAVA restart necessary to fix inactive Minimserver?

[simoncn]

(10-06-2013 09:18)rb73 Wrote:  No worries. I'll keep an eye out, and should it happen again I'll post the diagnostic files here.

The .tar.gz is too big to attach, but you can download it from my dropbox here.

I'm pretty sure I didn't disable MinimServer after the crash, so it should be the one captured after the crash.

Thanks very much for sending this. It shows that the problem is caused by a race condition in MinimServer that means some connection threads aren't being destroyed when they should be. This might be the cause of the other problem as well, because the connection socket won't be released while the thread is still alive.

I'll put a fix for this in the next release. Many thanks for your help with finding this problem!