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}"; } }