JAVA restart necessary to fix inactive Minimserver?

[hvaleton]

(10-06-2013 19:03)rb73 Wrote:  

(10-06-2013 12:53)simoncn Wrote:  I'll put a fix for this in the next release. Many thanks for your help with finding this problem!

You're welcome, glad I could help

As requested in a PM from Simon, I herewith attach the minimserver-out-31833.log, the result of issuing the command:
kill -quit <pid>
pid being, in my particular case, 31833.
By the way, I had to change the .log extension to .txt. for it to be accepted by the upload mechanism.

Hope this helps!