private function cleanup() { $this->stop(); if (file_exists($this->pipefile) && is_writable($this->pipefile)) { unlink($this->pipefile); $this->pipefile = null; } $this->server = null; }