JAVA restart necessary to fix inactive Minimserver?

[rb73]

(10-06-2013 08:55)simoncn Wrote:  If you have a minimserver-diag.tar.gz file that was captured after the previous crash, please post it here. Also, if the problem happens again, please disable MinimServer to capture the minimserver-diag.tar.gz output and post it here. Many thanks!

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.