> Hi,
>
> Just a simple question: how does Thread.critical_section ever get set
> to false? I see mutex.ml sets it to true, as does condition.ml, but
> neither set to false.

Ah, I see Thread.sleep sets it back to false.... however, I still have
the feeling something is going wrong in the threading system...

Jonathan