Manuel PHP
Précédent		Suivant

pg_port

(PHP 3, PHP 4 )

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.

Précédent	Sommaire	Suivant
pg_ping	Niveau supérieur	pg_put_line