portNumber

Port the server listens on - with several in serverName, of every one not stating its own. Defaults to 5432.