Re: [boost] [thread] condition suffering from lost wakup bug?