sem_remove
(PHP 4 >= 4.0.7, PHP 5)
sem_remove — Remove a semaphore
Description
bool sem_remove
( resource $sem_identifier
)
sem_remove() removes the given semaphore.
After removing the semaphore, it is no more accessible.
Parameters
- sem_identifier
-
The semaphore identifier. Must have been created with sem_get(), otherwise a warning is generated.
Return Values
Geeft TRUE terug bij succes, FALSE indien er een fout is opgetreden.