Changeset

5001:78a3d275715a

loggingmanager: Remove unused variables
author Matthew Wild <mwild1@gmail.com>
date Tue, 24 Jul 2012 15:50:11 +0100
parents 5000:58c9519dc461
children 5003:a70eeed3f502 5005:ab950c9ff074
files core/loggingmanager.lua
diffstat 1 files changed, 4 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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