sem_remove
(PHP 4 >= 4.1.0, PHP 5, PHP 7, PHP 8)
sem_remove — Remove a semaphore
Description
sem_remove() removes the given semaphore.
After removing the semaphore, it is no longer accessible.
Parameters
semaphore
-
A semaphore as returned
by sem_get().
Return Values
Returns true on success or false on failure.