	Manuel PHP
	Précédent		Suivant

pg_Port

pg_Port -- Retourne le numéro de port

Description

int pg_port(int connection_id);

pg_Port() retourne le numéro de port de la connexion identifiée connection_id .