My problem is: Condition.wait() is not protected against
KeyboardInterrupt. Fix is below.
Regards,
Oleg.
-----------------------------
#python 2.0, threading.py:
...
class _Condition(_Verbose):
...
def wait(self, timeout=None):
...
saved_state = self._release_save()
# line to be inserted
try:
...
# line to be inserted
finally:
self._acquire_restore(saved_state)