|
|
|
SERVER_PORT <port_number>
Specifies the TCP/IP Port of the server rather than using the SERVER_NAME keyword method. This allows for a direct specification of the port number.
With SERVER_NAME the TCP/IP port used is computed as 5001 plus the sum of the ASCII values of the characters in the server name. If both SERVER_NAME and SERVER_PORT are specified in the server configuration file, SERVER_PORT takes precedence over SERVER_NAME.
When a client prefixes the server name with the pound sign (#), the specified server name is interpreted as a numeric port. Otherwise, the specified server name is converted to a numeric port using the original approach.
For example: #6000@localhost is interpreted as port 6000, and 6000@localhost is interpreted as port 5198.
On Linux/Unix you must back quote the '#' sign due to bash processing of the '#' character:
\#5597@hosthname
Note: When specifying a client port number directly with the #nnnn format, this forces a TCP/IP connection to the server, even when operating on the same machine. That is, the shared memory protocol, if enabled (default), is overridden when a direct port number is requested, even if the server name is also "#nnnn".
Default
Off
See Also
