Re: [Boost-users] Deadline_timer problem