main.lua

changeset 67
a2a9dd606200
parent 65
629162fc0681
child 68
cd63f764d1bf
--- a/main.lua	Thu Dec 31 18:19:03 2015 +0000
+++ b/main.lua	Fri Jan 01 20:34:51 2016 +0000
@@ -2,9 +2,12 @@
 
 local json = require "cjson";
 local time = require "socket".gettime;
+local sleep = require "socket".sleep;
 
 local result_log_filename = nil;
 local server_log_reader = nil;
+local server_log_wait_time = 0.2;
+
 local property_rules = {};
 
 local function apply_object_properties(class, name, object)
@@ -41,8 +44,13 @@
 			local server_log = assert(io.open(get_value(), "r"));
 			function server_log_reader()
 				local new_lines = {};
-				for line in server_log:lines() do
-					table.insert(new_lines, line);
+				local last_line_time = time();
+				while time() - last_line_time < server_log_wait_time do
+					sleep(0.05);
+					for line in server_log:lines() do
+						table.insert(new_lines, line);
+						last_line_time = time();
+					end
 				end
 				return new_lines;
 			end

mercurial