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