sem_remove

(PHP 4 >= 4.0.7, PHP 5)

sem_remove — Remove a semaphore

Description

bool sem_remove ( resource $sem_identifier )

sem_remove() removes the given semaphore.

After removing the semaphore, it is no more accessible.

Parameters

sem_identifier

A semaphore resource identifier as returned by sem_get().

Return Values

Returns TRUE on success or FALSE on failure.

See Also

• sem_get()
• sem_release()
• sem_acquire()