core/sessionmanager.lua
changeset 1223 9767e52f861c
parent 1222 dd1616a81c49
child 1224 35fa588e43a6
--- a/core/sessionmanager.lua	Fri May 29 22:56:14 2009 +0500
+++ b/core/sessionmanager.lua	Fri May 29 23:01:05 2009 +0500
@@ -15,6 +15,8 @@
 local format = import("string", "format");
 
 local hosts = hosts;
+local full_sessions = full_sessions;
+local bare_sessions = bare_sessions;
 
 local modulemanager = require "core.modulemanager";
 local log = require "util.logger".init("sessionmanager");