function shutdown() { global $db, $repoinprogress; if ($repoinprogress) { echo "DISTRUZIONE REPOSITORY ({$repoinprogress}) in corso..."; $rep = new repository($repoinprogress); $repoinprogress = 0; $rep->drop(); echo "REPOSITORY DISTRUTTO."; } echo "Chiusura applicazione"; flush(); }