sem_remove
(PHP 4 >= 4.1.0, 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 longer accessible.
Return Values
Returns TRUE on success or FALSE on failure.
See Also
- sem_get() - Get a semaphore id
- sem_release() - Release a semaphore
- sem_acquire() - Acquire a semaphore