core/sessionmanager.lua
changeset 8558 4f0f5b49bb03
parent 8188 e89320b8a789
child 8720 9ddd0fbbe53a
--- a/core/sessionmanager.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/core/sessionmanager.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -26,6 +26,7 @@
 local gettime = require "socket".gettime;
 
 local _ENV = nil;
+-- luacheck: std none
 
 local function new_session(conn)
 	local session = { conn = conn, type = "c2s_unauthed", conntime = gettime() };