sem_remove
(PHP 4 >= 4.0.7, PHP 5)
sem_remove — Remove a semaphore
Description
bool sem_remove
( resource $sem_identifier
)
After removing the semaphore, it is no more accessible.
Parameters
-
sem_identifier
-
A semaphore resource identifier as returned
by sem_get().
Return Values
Returns TRUE on success or FALSE on failure.