_Added in 1.9.0_

*$port*

Returns the port number of the currently connected server.