src/Timer.php
protected function cleanup()
    {
        if ($this->resource) {
            proc_terminate($this->resource);
        }

        if (is_resource($this->handle)) {
            fclose($this->handle);
        }

        $this->handle   = null;
        $this->resource = null;
    }
protected function cleanup()
    {
        if ($this->resource) {
            proc_terminate($this->resource);
        }

        if (is_resource($this->handle)) {
            fclose($this->handle);
        }

        $this->handle   = null;
        $this->resource = null;
    }
protected function cleanup ( ) { if ( $ this -> resource ) { proc_terminate ( $ this -> resource ) ; } if ( is_resource ( $ this -> handle ) ) { fclose ( $ this -> handle ) ; } $ this -> handle = null ; $ this -> resource = null ; }
Performs cleanup duties so that no traces
of this timer having ever been used remain.
Performs cleanup duties so that no traces of this timer having ever been used remain .