private function readline_callback($line) { if ($line !== "") { $this->buffer[] = $line; readline_add_history($line); } }