# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1455822148 0
# Node ID 0ee626030acbb236e2bdea64403c8e4ba252d317
# Parent  6676218cc481033d191c024235d83ba1a3f78014
main.lua: Read any remaining server logs after script completes (error or otherwise)

diff -r 6676218cc481 -r 0ee626030acb main.lua
--- a/main.lua	Thu Feb 18 19:00:01 2016 +0000
+++ b/main.lua	Thu Feb 18 19:02:28 2016 +0000
@@ -188,6 +188,11 @@
 	verse.log("debug", "runner paused")
 	
 	verse.loop();
+
+	if server_log_reader then
+		log_data("server", { lines = server_log_reader() });
+	end
+
 	return ok, err;
 end