sem_release
<<<
sem_remove shm_attach
>>>

8.107 Sémaphores et gestion de la mémoire partagée
8 Référence des fonctions
 Manuel PHP

Introduction
Pré-requis
Installation
Configuration à l'exécution
Types de ressources
Constantes pré-définies
ftok
msg_get_queue
msg_receive
msg_remove_queue
msg_send
msg_set_queue
msg_stat_queue
sem_acquire
sem_get
sem_release
->sem_remove
shm_attach
shm_detach
shm_get_var
shm_put_var
shm_remove_var
shm_remove

8.107.17 sem_remove()Détruit un sémaphore

[ Exemples avec sem_remove ]   PHP 4 >= 4.1.0, PHP 5

bool  sem_remove ( resource   sem_identifier )

sem_remove supprime le sémaphore sem_identifier s'il a été créé par sem_get , et sinon, émet une alerte.

Cette fonction retourne TRUE en cas de succès, FALSE en cas d'échec.

Après suppression du sémaphore, il n'est plus utilisable.

Voir aussi sem_get , sem_release et sem_acquire .

<< sem_remove >>
sem_release Sémaphores et gestion de la mémoire partagée shm_attach