Manuel
PHP
Précédent
Suivant
pg_Port
pg_Port -- Retourne le numéro de port.
Description
int
pg_port
( resource connection_id)
pg_port(
)
retourne
le
numéro
de
port
de
la
connexion
identifiée
connection_id
.
Précédent
Sommaire
Suivant
Niveau
supérieur