(PHP 3, PHP 4 )
int pg_port (int connection_id)
int pg_port
pg_port() retourne le numéro de port de la connexion identifiée connection_id.