Cli\WS::kill PHP Method

kill() public method

Terminate server
public kill ( $signal ) : null
$signal int
return null
    function kill($signal)
    {
        die;
    }