# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1231826131 0
# Node ID dc67e3cffff44791953b7d94a3577d6a6d7e6fe9
# Parent  9666ad50a3533612ff325f3f3d5d1d6429234f4a
BOSH: Allow BOSH servers to be configured through config file

diff -r 9666ad50a353 -r dc67e3cffff4 plugins/mod_bosh.lua
--- a/plugins/mod_bosh.lua	Mon Jan 12 04:13:05 2009 +0000
+++ b/plugins/mod_bosh.lua	Tue Jan 13 05:55:31 2009 +0000
@@ -253,5 +253,17 @@
 	end
 end
 
-httpserver.new{ port = 5280, base = "http-bind", handler = handle_request, ssl = false}
+local ports = config.get(module.host, "core", "bosh_ports") or { 5280 };
+for _, options in ipairs(ports) do
+	local port, base, ssl, interface = 5280, "http-bind", false, nil;
+	if type(options) == "number" then
+		port = options;
+	elseif type(options) == "table" then
+		port, base, ssl, interface = options.port or 5280, options.path or "http-bind", options.ssl or false, options.interface;
+	elseif type(options) == "string" then
+		base = options;
+	end
+	httpserver.new{ port = port, base = base, handler = handle_request, ssl = ssl }
+end
+
 server.addtimer(on_timer);