Beispiel #1
0
         }
     }
     $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;