Phil,
I've released 5.7.1 now using 44b7b88. That means the 400ms delay
remains in that version but everything else should work.
The crow-bar thread has been removed in current master (01482bf) so that
should no longer show the 40s delay. The problem was that the 400ms
delay was masking a race condition between the main thread and the
crow-bar thread. Removing that delay meant that sometimes the crow-bar
thread was missing the notification to shut down.
Regards,
David
On 26/11/2017 22:07, Phil Clayton wrote:
David,
As Rob says, I am using Linux (4.13.12-100.fc25.x86_64 from Fedora 25
updates).
I have tried the updated version (ga24f39a) and this fixes the issue.
ProofPower builds in the expected time. However, I have tried a few
more tests and find that some compiled applications are very delayed on
exit. In the simplest Hello World GTK application, if it is open for
more than about 3 s before being closed, it will take at least 43 s to
close. (I assume that is terminated due to the crow-bar thread.) Oddly,
another Hello World GTK demo (based on GApplication) doesn't exhibit
this behaviour.
I agree that it is a bit late in the release cycle to address this and
don't see the half second delay on exit being particularly problematic
generally.
Regards,
Phil
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
