* vide le cache
*
*/
- function empty_source_cache()
- { $OK = true;
- if(($cache = $this->source_cache_db()) !== false)
- { foreach($cache as $id_cache => $cache_infos)
- { if(!$this->del_source_cache($id_cache, $cache_infos["id_source"]))
- { $OK = false;
+ function empty_source_cache(){
+ $OK = true;
+ if(($cache = $this->source_cache_db()) !== false){
+ foreach($cache as $id_cache => $cache_infos){
+ if(!$this->del_source_cache($id_cache, $cache_infos["id_source"])){
+ $OK = false;
$break;
}
}