}
else $this->erreur("impossible d'ouvrir le dossier init du plugin ".$plugin_name, true);
}
- if($this->check_stop()) return;
+ if($this->erreurs()) return;
}
$init_path = $this->path("mw_dir")."app/init/";
if(
}
closedir($dh);
}
- else $this->erreur("impossible d'ouvrir le dossier init du plugin ".$plugin_name, true);
+ else $this->erreur("impossible d'ouvrir le dossier init", true);
}
}
- if($this->check_stop()) return;
+ if($this->erreurs()) return;
if($init_files){
ksort($init_files);
foreach($init_files as $file => $init_path){
require $init_path.$file;
- if($this->check_stop()) return;
+ if($this->erreurs()) return;
}
}
}