# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1343231842 -3600
# Node ID a70eeed3f50237f9d215177e5ab30bff8f7abe13
# Parent  7a0b17118987c9414080c15e3f4c25e89bd5a6e7# Parent  78a3d275715a2dcd9401b2ba7eb0070e6c5ef459
Merge with IRON

diff -r 7a0b17118987 -r a70eeed3f502 core/loggingmanager.lua
--- a/core/loggingmanager.lua	Wed Jul 25 18:49:13 2012 +0300
+++ b/core/loggingmanager.lua	Wed Jul 25 16:57:22 2012 +0100
@@ -7,14 +7,12 @@
 --
 
 
-local format, rep = string.format, string.rep;
-local pcall = pcall;
-local debug = debug;
-local tostring, setmetatable, rawset, pairs, ipairs, type =
-	tostring, setmetatable, rawset, pairs, ipairs, type;
+local format = string.format;
+local setmetatable, rawset, pairs, ipairs, type =
+	setmetatable, rawset, pairs, ipairs, type;
 local io_open, io_write = io.open, io.write;
 local math_max, rep = math.max, string.rep;
-local os_date, os_getenv = os.date, os.getenv;
+local os_date = os.date;
 local getstyle, setstyle = require "util.termcolours".getstyle, require "util.termcolours".setstyle;
 
 if os.getenv("__FLUSH_LOG") then