From 2dc4ec3badcf12d8208aa623a283ebc77b04ee63 Mon Sep 17 00:00:00 2001 From: mathieui Date: Thu, 10 Nov 2011 17:20:47 +0100 Subject: Doc for custom_host and custom_port (config file and asciidoc) --- doc/en/configure.txt | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'doc') diff --git a/doc/en/configure.txt b/doc/en/configure.txt index ef710690..5928ef3e 100644 --- a/doc/en/configure.txt +++ b/doc/en/configure.txt @@ -264,6 +264,18 @@ Configuration options or if they are really resized only when needed (if set to true). “true” should be the most comfortable value +*custom_host*:: [empty] + + A custom host that will be used instead of the DNS records for the server + (anonymous or the jid’s) defined above. + You should not need this in a "normal" use case. + +*custom_port*:: [empty] + + A custom port to use instead of the 5222. + This option can be combined with custom_host. + You should not need this in a "normal" use case. + *plugins_autoload*:: [empty] Space separated list of plugins to load on startup. -- cgit v1.2.3