Warning: port is deprecated.
The port the server is listening on, if you are using the old Server API.
Servers can listen on multiple interfaces at once now.
Use listen, etc, to listen on a port, and get_uris to see what ports are being listened on.
(This will not be set if you use listen, etc.)