UI\Executor
PHP Manual

UI\Executor::kill

Stop Executor

Description

public void UI\Executor::kill()

Shall stop an executor, the executor cannot be restarted

Parameters

This function has no parameters.

Return Values