equal
deleted
inserted
replaced
11 local sha1 = require "util.hashes".sha1; |
11 local sha1 = require "util.hashes".sha1; |
12 local base64 = require "util.encodings".base64.encode; |
12 local base64 = require "util.encodings".base64.encode; |
13 local st = require "util.stanza"; |
13 local st = require "util.stanza"; |
14 local parse_xml = require "util.xml".parse; |
14 local parse_xml = require "util.xml".parse; |
15 local portmanager = require "core.portmanager"; |
15 local portmanager = require "core.portmanager"; |
16 local sm_destroy_session = sessionmanager.destroy_session; |
16 local sm_destroy_session = require"core.sessionmanager".destroy_session; |
17 local log = module._log; |
17 local log = module._log; |
18 |
18 |
19 local websocket_frames = require"net.websocket.frames"; |
19 local websocket_frames = require"net.websocket.frames"; |
20 local parse_frame = websocket_frames.parse; |
20 local parse_frame = websocket_frames.parse; |
21 local build_frame = websocket_frames.build; |
21 local build_frame = websocket_frames.build; |