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 |