if (!$rep->drop()) { echo "ERRORE SVUOTANDO IL REPOSITORY!!! "; if (isset($_SERVER['DIE']) or isset($GET['DIE'])) { 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;