(PHP 4 >= 4.1.0, PHP 5, PHP 7)
Remove a semaphore
bool sem_remove ( resource $sem_identifier )
sem_remove() removes the given semaphore.
After removing the semaphore, it is no longer accessible.
Parameters:
sem_identifier
A semaphore resource identifier as returned by sem_get().
Returns:
Returns TRUE
on success or FALSE
on failure.
See also:
Please login to continue.