tree 3f1172eab4a7d664015474cf13e156004bc806d7
parent d567aab38e5f8495c521eca6ba3af01ac216c9f9
author Davide Pesavento <davide.pesavento@lip6.fr> 1517117425 -0500
committer Alexander Afanasyev <aa@cs.fiu.edu> 1517167822 -0500

util: fix Y2038 problem in time::toString()

Avoid using time_t, which cannot correctly represent
dates after 19 January 2038 on 32-bit systems.

Change-Id: I04e8d31a1c04a112cbc81810143fe2233e6dcc22
Refs: #3915