public function tidy() { // destroy too old cached search results $this->destroy_cache(array()); $this->config->set('search_last_gc', time(), false); }