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

On Mon, 4 Jan 2016, Lars Hupel wrote:

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

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:


I've picked up this change as well:

This means the trend to have service threads as daemons is increased. It also means that synchronous context switch into the AWT thread needs even more care as usual. I will double-check all remaining uses of


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