core/loggingmanager.lua
changeset 7166 eadbf19d0de0
parent 7161 e5412e685991
child 7952 8acc35b5355a
--- a/core/loggingmanager.lua	Thu Feb 18 14:57:04 2016 +0100
+++ b/core/loggingmanager.lua	Thu Feb 18 14:57:51 2016 +0100
@@ -16,7 +16,8 @@
 local os_date = os.date;
 local getstyle, getstring = require "util.termcolours".getstyle, require "util.termcolours".getstring;
 local tostring = tostring;
-local select, unpack = select, table.unpack or unpack;
+local select = select;
+local unpack = table.unpack or unpack; --luacheck: ignore 113
 
 local config = require "core.configmanager";
 local logger = require "util.logger";