(PHP 4 >= 4.1.0, PHP 5, PHP 7)
sem_remove — Remove a semaphore
$sem_identifier
sem_remove() removes the given semaphore.
After removing the semaphore, it is no longer accessible.
sem_identifier
A semaphore resource identifier as returned by sem_get().
锟缴癸拷时锟斤拷锟斤拷 TRUE锟斤拷 锟斤拷锟斤拷锟斤拷失锟斤拷时锟斤拷锟斤拷 FALSE锟斤拷
TRUE
FALSE