die;
} else {
continue;
}
}
} else {
echo "già aggiornato!{$NL}";
}
}
}
flush();
$rep = new repository($id);
if (!$rep->exists()) {
echo "creazione repository... ";
$repoinprogress = $id;
if (!($out = $rep->add($repo))) {
echo "ERRORE aggiungendo il repository!!! ";
echo "DISTRUZIONE in corso... ";
if (!($out = $rep->drop())) {
$repoinprogress = 0;
echo "ERRORE NELLA DISTRUZIONE!!! ";
if (isset($_SERVER['DIE']) or isset($GET['DIE'])) {
die;
} else {
continue;
}
}
$repoinprogress = 0;
echo "DISTRUZIONE effettuata.. salto al prossimo repository.{$NL}";
if (isset($_SERVER['DIE']) or isset($GET['DIE'])) {
die;
