- convert_time(+Stamp, -Y, -Mon, -Day, -Hour, -Min, -Sec, -MilliSec)
- Convert a time stamp, provided by get_time/1, time_file/2,
etc. Year is unified with the year, Month with the month number
(January is 1), Day with the day of the month (starting with 1),
Hour with the hour of the day (0--23), Minute with the minute
(0--59). Second with the second (0--59) and MilliSecond with the
milliseconds (0--999). Note that the latter might not be accurate
or might always be 0, depending on the timing capabilities of the
system. See also convert_time/2.
- - Use stamp_date_time/3.