UI\Executor
PHP Manual

UI\Executor::kill

(PHP 7, UI 2.0.0)

UI\Executor::killStop Executor

Description

public void UI\Executor::kill ( void )

Shall stop an executor, the executor cannot be restarted

Liste de paramètres

Cette fonction ne contient aucun paramètre.

Valeurs de retour


UI\Executor
PHP Manual