# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1343141411 -3600
# Node ID 78a3d275715a2dcd9401b2ba7eb0070e6c5ef459
# Parent  58c9519dc461a80cc8dc45bb15ec3060046536ee
loggingmanager: Remove unused variables

diff -r 58c9519dc461 -r 78a3d275715a core/loggingmanager.lua
--- a/core/loggingmanager.lua	Tue Jul 24 10:56:47 2012 +0100
+++ b/core/loggingmanager.lua	Tue Jul 24 15:50:11 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