UI\Executor::kill master Ver versión oficial en línea Licencia CC-BY-3.0Descargado el 2026-08-02 En esta página Descripción# Parámetros# Valores devueltos# UI\Executor::kill Detener el ejecutor Descripción# php public UI\Executor::kill(): voidphp Detiene un ejecutor, el ejecutor no se puede reiniciar Parámetros# Esta función no contiene ningún parámetro. Valores devueltos#