|
8.115.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
.
|
