sem_remove
(PHP 4 >= 4.0.7, PHP 5)
sem_remove — Semaphor entfernen
Description
bool sem_remove
( resource $sem_identifier
)
sem_remove() entfernt einen mit sem_get() angelegten Semaphor.
Gibt bei Erfolg TRUE zurück, im Fehlerfall FALSE.
Auf den Sempahor kann anschließend nicht mehr zugegriffen werden.
Siehe auch sem_get(), sem_release() und sem_acquire().