Am 05.10.2012 10:29, schrieb Alex Ivanov:
> Can you please confirm that this fix is applicable?
> We may throw an exception if wait was not successful.
> Will it be a good idea to rewrite flags usage with python's events wait/set functionality to be on the safe side?
I have fixed it now in trunk in r8233 with the simplest possible patch.
Using events would be probably better, but I want to keep the semantics
of the existing flag for backward compatibility.