sem_remove
(PHP 4 >= 4.1.0, PHP 5)
sem_remove — Détruit un sémaphore
Description
bool sem_remove
( resource
$sem_identifier
)sem_remove() supprime le sémaphore donné.
Après suppression du sémaphore, il n'est plus utilisable.
Liste de paramètres
-
sem_identifier -
Une ressource représentant un sémaphore, telle que retournée par la fonction sem_get().
Valeurs de retour
Cette fonction retourne TRUE en cas de
succès ou FALSE si une erreur survient.
Voir aussi
- sem_get() - Retourne un identifiant de sémaphore
- sem_release() - Libère un sémaphore
- sem_acquire() - Réserve un sémaphore
