On 02/09/2013 09:04, David Matthews wrote:
On 02/09/2013 06:47, Florian Weimer wrote:
* Phil Clayton:
I think this delay is actually when exiting Poly/ML. I have just this
moment hit Ctrl+D to exit poly in a terminal but, as nothing happened
immediately, I hit it again. In fact, both key strokes registered and
I zapped the terminal. (It seems I really am that impatient!)
I'm fairly sure the problem is in commit 1835. There's a race condition
there associated with initialThreadWait.Signal() and setting the
threadExited flag. I'll try and deal with this and the other problems
over the next few days.
I've committed a fix (1839) which looks like it has solved this. Thanks
for the reports and info.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
