sem_remove

(PHP 4 >= 4.1.0, PHP 5)

sem_remove — Semaphor entfernen

bool sem_remove ( resource $sem_identifier )

sem_remove() entfernt einen mit sem_get() angelegten Semaphor.

Auf den Sempahor kann anschließend nicht mehr zugegriffen werden.

sem_identifier: Ein Semaphor Resourcehandle wie von sem_get() zurückgegeben.

Gibt bei Erfolg TRUE zurück. Im Fehlerfall wird FALSE zurückgegeben.