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



> This sounds like the JVM/AWT shutdown problem, that I've now addressed
> in http://isabelle.in.tum.de/repos/isabelle/rev/8bcbf1c93119

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:

<https://github.com/larsrh/libisabelle/blob/v0.2.2/pide/2015/src/main/scala/impl/Environment.scala#L20-L26>

Cheers
Lars




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