# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1258907621 -18000
# Node ID 625b2d3e8900267ec459a62af31770863c0e7bab
# Parent  7810648ea26d35e75c50ddebf9233114a64abf55
loggingmanager: Explicitly flush log messages if the __FLUSH_LOG environment variable is defined (workaround for MSVCRT buffering piped output).

diff -r 7810648ea26d -r 625b2d3e8900 core/loggingmanager.lua
--- a/core/loggingmanager.lua	Fri Nov 20 15:07:39 2009 +0000
+++ b/core/loggingmanager.lua	Sun Nov 22 21:33:41 2009 +0500
@@ -17,6 +17,12 @@
 local os_date, os_getenv = os.date, os.getenv;
 local getstyle, getstring = require "util.termcolours".getstyle, require "util.termcolours".getstring;
 
+if os.getenv("__FLUSH_LOG") then
+	local io_flush = io.flush;
+	local _io_write = io_write;
+	io_write = function(...) _io_write(...); io_flush(); end
+end
+
 local config = require "core.configmanager";
 local eventmanager = require "core.eventmanager";
 local logger = require "util.logger";