sem_remove

(PHP 4 >= 4.1.0, PHP 5)

sem_remove -- Remove a semaphore

Description

bool sem_remove ( resource sem_identifier )

sem_remove() removes the semaphore sem_identifier if it has been created by sem_get(), otherwise generates a warning.

Zwraca TRUE w przypadku sukcesu, FALSE w przypadku porażki.

After removing the semaphore, it is no more accessible.

See also sem_get(), sem_release() and sem_acquire().

Hosting by: Hurra Communications Sp. z o.o.
Generated: 2007-01-26 18:02:54