(PHP 4 >= 4.1.0, PHP 5)
sem_remove — Rimuove un semaforo
$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().