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