Minor update to HTTPHandler documentation to indicate that host:port can be used.

diff --git a/Doc/lib/liblogging.tex b/Doc/lib/liblogging.tex
index eb6fedb1e465afe21214001747e80822bfed43aa..f2e5ca609ac582f53d774938bef82d04ec3308b4 100644 (file)
--- a/Doc/lib/liblogging.tex
+++ b/Doc/lib/liblogging.tex
@@ -1253,7 +1253,9 @@ Web server, using either \samp{GET} or \samp{POST} semantics.
 \begin{classdesc}{HTTPHandler}{host, url\optional{, method}}
 Returns a new instance of the \class{HTTPHandler} class. The
 instance is initialized with a host address, url and HTTP method.
-If no \var{method} is specified, \samp{GET} is used.
+The \var{host} can be of the form \code{host:port}, should you need to
+use a specific port number. If no \var{method} is specified, \samp{GET}
+is used.
 \end{classdesc}
 
 \begin{methoddesc}{emit}{record}