# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1243959744 -18000
# Node ID d0c38cac1687252f059f0c2197f804c7fe80cd18
# Parent  d2dc0954ebfd3b42d997e93cd19ab214af42063d
mod_message: Fix global access

diff -r d2dc0954ebfd -r d0c38cac1687 plugins/mod_message.lua
--- a/plugins/mod_message.lua	Tue Jun 02 20:18:02 2009 +0500
+++ b/plugins/mod_message.lua	Tue Jun 02 21:22:24 2009 +0500
@@ -3,8 +3,10 @@
 local bare_sessions = bare_sessions;
 
 local jid_bare = require "util.jid".bare;
+local jid_split = require "util.jid".split;
 local user_exists = require "core.usermanager".user_exists;
 local offlinemanager = require "core.offlinemanager";
+local t_insert = table.insert;
 
 local function select_top_resources(user)
 	local priority = 0;