posix_getsid
(PHP 4, PHP 5, PHP 7)
posix_getsid — Retourne le sid du processus
Description
$pid
) : int
Retourne l'ID de session du processus pid
.
L'ID de session d'un processus est l'ID du groupe du processus du
gestionnaire de session.
Liste de paramètres
-
pid
-
L'identifiant du processus. S'il est défini à 0, le processus courant est utilisé. Si un
pid
invalide est fourni, alorsFALSE
est retourné et une erreur est définie et pourra être récupérée avec la fonction posix_get_last_error().
Exemples
Exemple #1 Exemple avec posix_getsid()
<?php
$pid = posix_getpid();
echo posix_getsid($pid); //8805
?>
Voir aussi
- posix_getpgid() - Retourne l'id du groupe de processus
- posix_setsid() - Fait du processus courant un chef de session
- POSIX man page GETSID(2)
Document créé le 30/01/2003, dernière modification le 26/10/2018
Source du document imprimé : https://www.gaudry.be/php-rf-posix-getsid.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.