Use the new official IANA-allocated port number 4070.

[tripe] / doc / tripe-admin.5.in

diff --git a/doc/tripe-admin.5.in b/doc/tripe-admin.5.in
index 7fb59c3e0d70630aa2fd691a5a555fdb8e20212d..968400e70495f8f98f6da154f43db353b67702ba 100644 (file)
--- a/doc/tripe-admin.5.in
+++ b/doc/tripe-admin.5.in
@@ -215,12 +215,13 @@ are always in upper-case.
 .PP
 At present, only one address family is understood.
 .TP
 .PP
 At present, only one address family is understood.
 .TP

-.BI "INET " address " " port
+.BI "INET " address " \fR[" port \fR]

 An Internet socket, naming an IPv4 address and UDP port.  On output, the
 address is always in numeric dotted-quad form, and the port is given as
 a plain number.  On input, DNS hostnames and symbolic port names are
 An Internet socket, naming an IPv4 address and UDP port.  On output, the
 address is always in numeric dotted-quad form, and the port is given as
 a plain number.  On input, DNS hostnames and symbolic port names are

-permitted.  Name resolution does not block the main server, but will
-block the requesting client, unless the command is run in the background.
+permitted; if omitted, the default port 4070 is used.  Name resolution
+does not block the main server, but will block the requesting client,
+unless the command is run in the background.

 .PP
 If, on input, no recognised address family token is found, the following
 words are assumed to represent an
 .PP
 If, on input, no recognised address family token is found, the following
 words are assumed to represent an