Fonctions Sémaphore
PHP Manual

sem_remove

(PHP 4 >= 4.0.7, PHP 5)

sem_removeDé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, FALSE en cas d'échec.

Voir aussi


Fonctions Sémaphore
PHP Manual