On 2012-08-20 22:04, David wrote:

If i interpret it correctly, a call to Runtime.terminate() (as I am
doing right now), is the only and correct way?

I would think so.

--
/Jacob Carlborg

Reply via email to