Re: [Boost-users] progress_timer, incorrect timing