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