PHP repository::drop Beispiele

Beispiel #1

Datei: update.php Projekt: kissthink/slakfinder

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();
}