sem_remove

(PHP 4 >= 4.1.0, PHP 5, PHP 7, PHP 8)

sem_removeRimuove un semaforo

Descrizione

sem_remove(resource $sem_identifier): bool

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