# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1451568281 0
# Node ID 21871fb2db99ddf9c70382c3d0d0d1c22a9379b9
# Parent  e032cdb517ab8c7acd3e4731cae1cc5508f90a2c
main: Switch to socket.gettime for higher accuracy timestamps in machine-readable logs

diff -r e032cdb517ab -r 21871fb2db99 main.lua
--- a/main.lua	Thu Dec 17 14:25:33 2015 +0000
+++ b/main.lua	Thu Dec 31 13:24:41 2015 +0000
@@ -1,6 +1,7 @@
 #!/usr/bin/env luajit
 
 local json = require "cjson";
+local time = require "socket".gettime;
 
 local result_log_filename = nil;
 local property_rules = {};
@@ -143,7 +144,7 @@
 	result_log = assert(io.open(result_log_filename, "w+"));
 	result_log:write("[\n");
 	function log_data(type, data)
-		local entry = { type = type, data = data, time = os.time() };
+		local entry = { type = type, data = data, time = time() };
 		result_log:write("  ", json.encode(entry), ",\n");
 		result_log:flush();
 	end