# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1454606548 0
# Node ID fecc1af937beab832f9d5dd15bbb8fe028361dd9
# Parent  68259c995b569d97470b06dfec631c0ae0f3aa83
main.lua: Add --skip-server-startup-log to discard server log output at startup

diff -r 68259c995b56 -r fecc1af937be main.lua
--- a/main.lua	Thu Feb 04 17:21:33 2016 +0000
+++ b/main.lua	Thu Feb 04 17:22:28 2016 +0000
@@ -8,6 +8,7 @@
 local server_log_reader = nil;
 local test_metadata = {};
 local server_log_wait_time = 0.2;
+local skip_server_startup_log = false;
 
 local property_rules = {};
 
@@ -55,6 +56,8 @@
 				end
 				return new_lines;
 			end
+		elseif opt == "--skip-server-startup-log" then
+			skip_server_startup_log = true;
 		elseif opt == "--tag" then
 			local tag = get_value();
 			local key, value = tag:match("^([^=]+):(.+)$");
@@ -123,7 +126,11 @@
 	log_data("script", { title = script.title, summary = script.summary });
 
 	if server_log_reader then
-		log_data("server", { lines = server_log_reader() });
+		if skip_server_startup_log then
+			server_log_reader();
+		else
+			log_data("server", { lines = server_log_reader() });
+		end
 	end
 
 	local verse = initialize_verse(function (_err) ok, err = false, _err end);