[Boost-users] Re: How to know wheter a Boost.thread has ended ?