Re: [Boost-users] [date_time] obtaining the current time