} } $repoinprogress = 0; echo "DISTRUZIONE effettuata.. salto al prossimo repository.{$NL}"; if (isset($_SERVER['DIE']) or isset($GET['DIE'])) { die; } else { continue; } } $repoinprogress = 0; echo "Creazione effettuata... "; echo "popolamento in corso...{$NL}"; flush(); $repoinprogress = $id; if (!($err = $rep->popolate())) { echo $NL . "ERRORE popolando 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 effettuato.. salto al prossimo repository.{$NL}"; if (isset($_SERVER['DIE']) or isset($GET['DIE'])) { die;