This repository was archived by the owner on Sep 4, 2019. It is now read-only.
This repository was archived by the owner on Sep 4, 2019. It is now read-only.
boost::condition timed_wait does not wake up #4
Description
Probably related to the other boost condition issue, timed_wait() calls do not wake up after the timeout interval.