get_bound_port

Description:

public int get_bound_port ()

Get the port number where the server was bound to.

Parameters:

this

a Server

Returns:

the port number