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: