[Boost-users] Asio timer - how to restart it?