Commit 86967cc579ee9e8c1a209a76c12605dd24dcf6cf

Edward Thomson 2013-08-19T16:44:17

Use time(2) to get the time We didn't use the added precision in gettimeofday, so remove it. This prevents us from having an unnecessary reimplementation on win32.