PHP Handbuch
Zurück |  | Nach vorne

# sem_remove

(PHP 4 >= 4.1.0, PHP 5)

sem_remove -- Remove a semaphore

## Description

bool sem_remove ( resource sem_identifier)

sem_remove() removes the semaphore `sem_identifier` if it has been created by sem_get(), otherwise generates a warning.

Gibt bei Erfolg `TRUE` zurück, im Fehlerfall `FALSE`.

After removing the semaphore, it is no more accessible.

See also sem_get(), sem_release() and sem_acquire().

Zurück | Zum Anfang | Nach vorne
sem_release | Nach oben | shm_attach