# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1231859900 -18000
# Node ID bb9583314ec7ba4e5176bbc55a5e2eb516db6139
# Parent  ce772e2839928a1252b3ca943228c31a8b3fcc02
mod_muc: deregister component on unload

diff -r ce772e283992 -r bb9583314ec7 plugins/mod_muc.lua
--- a/plugins/mod_muc.lua	Tue Jan 13 19:41:52 2009 +0500
+++ b/plugins/mod_muc.lua	Tue Jan 13 20:18:20 2009 +0500
@@ -1,6 +1,7 @@
 
 
 local register_component = require "core.componentmanager".register_component;
+local deregister_component = require "core.componentmanager".deregister_component;
 local jid_split = require "util.jid".split;
 local jid_bare = require "util.jid".bare;
 local st = require "util.stanza";
@@ -272,3 +273,8 @@
 		handle_to_domain(origin, stanza);
 	end
 end);
+
+function unload()
+	deregister_component(muc_domain);
+end
+