Added in 1.9.0
$port
Returns the port number of the currently connected server.