[Boost-users] Catching boost::thread_interrupted