if($prePost=='pre'){// on n'avertit qu'une seule fois!
$this->console->println('Attention : les scripts de migration automatiques n\'ont pas pu être déclenchés :',$this->console::BG_RED);
if($oldIndex===false){
$this->console->println('La version précédente de OSE n\'a pas pu être clairement identifiée.',$this->console::BG_RED);
...
...
@@ -242,6 +252,7 @@ class OseAdmin
." Ces scripts sont nommés selon la version à laquelle ils correspondent, suivis de -pre s'ils sont à exécuter AVANT la mise ) jour de la DDL de la base de données, et -post s'il sont à exécuter après."
." Enfin, leur extension renseigne s'il s'agit de code PHP à exécuter ou bien de code SQL (à exécuter dans SQLDeveloper par exemple)."