[Boost-users] Deadline_timer problem