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