(PHP 4 >= 4.1.0, PHP 5)
sem_remove — Détruit un sémaphore
$sem_identifier
)sem_remove() supprime le sémaphore donné.
Après suppression du sémaphore, il n'est plus utilisable.
sem_identifier
Une ressource représentant un sémaphore, telle que retournée par la fonction sem_get().
Cette fonction retourne TRUE en cas de
succès ou FALSE si une erreur survient.