sem_remove

(PHP 4 >= 4.0.7, PHP 5)

sem_remove — Remove a semaphore

bool sem_remove ( resource $sem_identifier )

sem_remove() removes the given semaphore.

After removing the semaphore, it is no more accessible.

sem_identifier: The semaphore identifier. Must have been created with sem_get(), otherwise a warning is generated.

如果成功则返回 TRUE，失败则返回 FALSE。