pg_port

(PHP 3, PHP 4 , PHP 5)

pg_port -- Retourne le numéro de port

Description

int pg_port ( resource connection )

pg_port() retourne le numéro de port de la connexion identifiée connection.