sem_remove

(PHP 4 >= 4.1.0, 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: A semaphore resource identifier as returned by sem_get().

성공할 경우 TRUE를, 실패할 경우 FALSE를 반환합니다.