The port the server is listening on.