Commit 25b2a555380a7b3066f3578c283a8f4d1d5dad12

Ben Straub 2013-08-19T15:06:39

Merge pull request #1799 from ethomson/gettimeofday Use time(2) to get the time