Open LawrenceGunn opened 11 years ago
Probably related to the other boost condition issue, timed_wait() calls do not wake up after the timeout interval.
Probably related to the other boost condition issue, timed_wait() calls do not wake up after the timeout interval.