Manuel PHP Précédent Suivant pg_tty() retourne le nom de tty de la connexion associée à connection_id. Précédent Sommaire Suivant Niveau supérieur