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
← sem_release
shm_attach →
© 1997–2017 The PHP Documentation Group
Licensed under the Creative Commons Attribution License v3.0 or later.
本文档系腾讯云开发者社区成员共同维护,如有问题请联系 cloudcommunity@tencent.com