# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1451680491 0
# Node ID a2a9dd606200ea5533315dd149af17b7cec42cff
# Parent  909c00296c2adbd6ea8fc41783639137f0bfd502
main: Add delay when reading server logs

diff -r 909c00296c2a -r a2a9dd606200 main.lua
--- 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