martin eb1ff84c33 Until timeval.tv_sec becomes a time_t, we can't pass a pointer to
it to ctime(). tv_sec is long, while time_t is int on some archs.
2003-04-16 13:32:58 +00:00
..
2003-04-16 13:05:01 +00:00