Re: [boost] [Boost-users] Probably bug in condition::timed_wait()