src/Drupe.php
public function checkRunning(Timer $timer)
    {
        if (!$this->running) {
            $timer->cancel();
            // @codeCoverageIgnoreStart
            exit($this->exitCode);
            // @codeCoverageIgnoreEnd
        }
    }
public function checkRunning(Timer $timer)
    {
        if (!$this->running) {
            $timer->cancel();
            // @codeCoverageIgnoreStart
            exit($this->exitCode);
            // @codeCoverageIgnoreEnd
        }
    }
public function checkRunning ( Timer $ timer ) { if ( ! $ this -> running ) { $ timer -> cancel ( ) ; // @codeCoverageIgnoreStart exit ( $ this -> exitCode ) ; // @codeCoverageIgnoreEnd } }
Checks whether or not the shell is still running.

@param Timer $timer
Checks whether or not the shell is still running .