sem_remove
(PHP 4 >= 4.0.7, PHP 5)
sem_remove — Détruit un sémaphore
Description
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().