Specifies the TCP port or the local socket file extension on which the server is listening for connections. Defaults to port 5433.
