SYNOPSIS
	int query_mud_port(void)
	int query_mud_port(object user)
	int query_mud_port(int num)

DESCRIPTION
	Returns the port number the parser uses for user connections.

	If no argument is given, the port for this_player() is
	returned. If this_player() is not existing or not interactive,
	the first port number open for connections is returned.

	If an user object is given, the port used for its connection
	is returned.
	If a positive number is given, the <num>th port number the
	parser uses for connections is returned (given that there are
	that many ports).
	If -1 is given, the number of ports open for connections is
	returned.

SEE ALSO
	query_host_name(E), query_imp_port(E)
