Manuel PHP
Précédent |  | Suivant

# 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 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().

Précédent | Sommaire | Suivant
sem_release | Niveau supérieur | shm_attach