Nathan J. Williams wrote :
| This is probably the same problem that affects pthread_cond_wait()
| that I fixed recently;

| So consider it a known bug, andI'll put it on my queue to fix...

Ok, I'll reschedule my todo list and put pthread stuff at the end :)

Thanks!