Re: [isabelle] Isabelle2016-RC0 - does not exit on Linux

> This sounds like the JVM/AWT shutdown problem, that I've now addressed
> in

For the records, I've also experienced shutdown problems in libisabelle.
The main reason is that the threads created by the thread pool are not
flagged to be daemon, although I don't know whether this is intentional
or not. I solve it by setting the daemon flag:



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.