sem_remove

(PHP 4 >= 4.1.0, PHP 5, PHP 7)

sem_remove — Remove a semaphore

˵��

sem_remove ( resource $sem_identifier ) : bool

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��

�μ�