Added in 1.9.0

*$port*

Returns the port number of the currently connected server.