sem_remove
(PHP 4 >= 4.0.7, PHP 5)
sem_remove — Rimuove un semaforo
Descrizione
bool sem_remove
( resource $sem_identifier
)
La funzione sem_remove() rimuove il semaforo indicato da sem_identifier se questo è stato generato in orecedenza da sem_get(). In caso contrario si genera un messaggio di warning
Restituisce TRUE in caso di successo, FALSE in caso di fallimento.
Una volta rimosso, il semaforo non è più accessibile.
Vedere anche: sem_get(), sem_release() e sem_acquire().