[polyml] Compiler in SVN

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