(PHP 4 >= 4.1.0, PHP 5)
sem_remove — Eliminar un semáforo
$sem_identifier
sem_remove() elimina el semáforo dado.
Después de eliminar el semáforo, éste ya no está accesible.
sem_identifier
Un identificador de recurso de semáforo devuelto por sem_get().
Devuelve TRUE en caso de éxito o FALSE en caso de error.
TRUE
FALSE