plugins/mod_websocket.lua
changeset 6796 2bf1b7e2149a
parent 6397 6f75f8043936
child 6896 861790282dda
--- a/plugins/mod_websocket.lua	Thu Aug 20 10:10:36 2015 +0200
+++ b/plugins/mod_websocket.lua	Fri Aug 21 11:26:34 2015 +0200
@@ -13,7 +13,7 @@
 local st = require "util.stanza";
 local parse_xml = require "util.xml".parse;
 local portmanager = require "core.portmanager";
-local sm_destroy_session = sessionmanager.destroy_session;
+local sm_destroy_session = require"core.sessionmanager".destroy_session;
 local log = module._log;
 
 local websocket_frames = require"net.websocket.frames";