continue;
}
echo "già esiste... ";
if ($create == 2) {
echo "distruzione forzata... ";
if (!($out = $rep->drop())) {
echo "ERRORE NELLA DISTRUZIONE!!! ";
if (isset($_SERVER['DIE']) or isset($GET['DIE'])) {
die;
} else {
continue;
}
}
}
if ($rep->exists()) {
if ($rep->needupdate()) {
echo "richiede aggiornamento... ";
echo "eliminazione in corso... ";
flush();
if (!$rep->drop()) {
echo "ERRORE SVUOTANDO IL REPOSITORY!!! ";
if (isset($_SERVER['DIE']) or isset($GET['DIE'])) {
die;
} else {
continue;
}
}
} else {
echo "già aggiornato!{$NL}";
}
}
