# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1247176832 -3600
# Node ID 83b2e07e90393fdc7ad2e78e5c6d9e827ecfe18d
# Parent  a2ea9923846625ad948b3b86aa96131b536b30a5
mod_disco: Convert from Windows line endings

diff -r a2ea99238466 -r 83b2e07e9039 plugins/mod_disco.lua
--- a/plugins/mod_disco.lua	Thu Jul 09 23:00:01 2009 +0100
+++ b/plugins/mod_disco.lua	Thu Jul 09 23:00:32 2009 +0100
@@ -7,15 +7,15 @@
 --
 
 
-
-local discomanager_handle = require "core.discomanager".handle;
-
-module:add_feature("http://jabber.org/protocol/disco#info");
-module:add_feature("http://jabber.org/protocol/disco#items");
-
-module:add_iq_handler({"c2s", "s2sin"}, "http://jabber.org/protocol/disco#info", function (session, stanza)
-	session.send(discomanager_handle(stanza));
-end);
-module:add_iq_handler({"c2s", "s2sin"}, "http://jabber.org/protocol/disco#items", function (session, stanza)
-	session.send(discomanager_handle(stanza));
-end);
+
+local discomanager_handle = require "core.discomanager".handle;
+
+module:add_feature("http://jabber.org/protocol/disco#info");
+module:add_feature("http://jabber.org/protocol/disco#items");
+
+module:add_iq_handler({"c2s", "s2sin"}, "http://jabber.org/protocol/disco#info", function (session, stanza)
+	session.send(discomanager_handle(stanza));
+end);
+module:add_iq_handler({"c2s", "s2sin"}, "http://jabber.org/protocol/disco#items", function (session, stanza)
+	session.send(discomanager_handle(stanza));
+end);