- 
Davis King authoredby Isaac Peterson. The bug caused the program to deadlock if signal() or broadcast() was called at exactly the same time a wait_or_timeout() funciton timed out. a23468b9
by Isaac Peterson. The bug caused the program to deadlock if signal() or broadcast() was called at exactly the same time a wait_or_timeout() funciton timed out.