sem_remove

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

    sem_remove — Eliminar un semáforo

    Descripción

    sem_remove(resource$sem_identifier): bool

    sem_remove() elimina el semáforo dado.

    Después de eliminar el semáforo, éste ya no está accesible.

    Parámetros

    sem_identifier

    Un identificador de recurso de semáforo devuelto por sem_get().

    Valores devueltos

    Devuelve true en caso de éxito o false en caso de error.

    Ver también

    To Top