sem_remove
sem_remove
(PHP 4 >= 4.1.0, PHP 5, PHP 7)
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.
Parameters
-
sem_identifier -
A semaphore resource identifier as returned by sem_get().
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
© 1997–2017 The PHP Documentation Group
Licensed under the Creative Commons Attribution License v3.0 or later.
https://secure.php.net/manual/en/function.sem-remove.php
