core/sessionmanager.lua

changeset 150
d09b8a1ab046
parent 149
40e443eacbbd
parent 148
4c0dcd245d34
child 156
884c43c7028a
equal deleted inserted replaced
149:40e443eacbbd 150:d09b8a1ab046
9 local sessions = sessions; 9 local sessions = sessions;
10 10
11 local modulemanager = require "core.modulemanager"; 11 local modulemanager = require "core.modulemanager";
12 local log = require "util.logger".init("sessionmanager"); 12 local log = require "util.logger".init("sessionmanager");
13 local error = error; 13 local error = error;
14 local uuid_generate = require "util.uuid".uuid_generate; 14 local uuid_generate = require "util.uuid".generate;
15 local rm_load_roster = require "core.rostermanager".load_roster; 15 local rm_load_roster = require "core.rostermanager".load_roster;
16 16
17 local newproxy = newproxy; 17 local newproxy = newproxy;
18 local getmetatable = getmetatable; 18 local getmetatable = getmetatable;
19 19

mercurial