Doc for custom_host and custom_port (config file and asciidoc)

2 files changed, 22 insertions, 0 deletions

diff --git a/data/default_config.cfg b/data/default_config.cfg
index e803a7d1..0ad9e328 100644
--- a/data/default_config.cfg
+++ b/data/default_config.cfg
@@ -31,6 +31,16 @@ jid =
 # If you leave this empty, the password will be asked at each startup
 password =
 
+# 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_host =
+
+# 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.
+custom_port =
+
 # the rooms you will join automatically on startup, with associated nickname or not
 # format : room@server.tld/nickname:room2@server.tld/nickname2
 # default_nick will be used if "/nickname" is not specified
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.