The server port the database server is listening on.