JavaScript Editor Javascript debugger     Website design 

sem_remove

Remove a semaphore (PHP 4 >= 4.0.7, PHP 5)
bool sem_remove ( resource sem_identifier )

sem_remove() removes the given semaphore.

After removing the semaphore, it is no more accessible.

Parameters

sem_identifier

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

Return Values

Returns TRUE on success or FALSE on failure.