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