static void ai_compactLiveDB(bool withPhase2) {
  new ai_compactLiveDB_Class c;
  c.phase1();
  if (!withPhase2) ret;
  print("PHASE 2 in 5 SECONDS");
  sleepSeconds(5);
  c.phase2();
}

sclass ai_compactLiveDB_Class {
  File mainLog, fTriples, file, file2;

  void phase1() ctex {
    // First, rotate webs-made.txt
    
    mainLog = programFile(#1010745, "webs-made.txt");
    rotateLogFile(mainLog);
    
    File tripelizedDir = programDir(#1010745, "tripelized");
    fTriples = programFile(#1010745, "triples.gz");
  
    // Save triples
    
    file = new File(tripelizedDir, "triples.new.gz");
    OutputStream out = newGZIPOutputStream(file);
    int n = ai_writeTripleFile(ai_allTriples(), out);
    out.close();

    // Save non-triples (don't have any)
    
    file2 = new File(tripelizedDir, "webs-made.new.gz");
    deleteFile(file2);

    print("Stored " + nTriple(n) + " in " + f2s(file) + ", nothing in " + f2s(file2));
  }
 
  void phase2 {
    print("PHASE 2.");
    
    // Move data to backups
    
    File fBackups = programFile(#1010745, "backups");
    for (File f : earlierPartsOfLogFile(mainLog)) {
      int n = 1;
      File p;
      while ((p = newFile(fBackups, dropSuffix(".gz", f.getName()) + ".part" + n + ".gz")).exists()) ++n;
      renameFile_assertTrue(f, p);
    }
    
    // Backup triples.gz
    
    int n = 1;
    File p;
    while ((p = newFile(fBackups, dropSuffix(".gz", fTriples.getName()) + ".part" + n + ".gz")).exists()) ++n;
    renameFile_assertTrue(fTriples, p);
    
    // Rename main files
    renameFile_assertTrue(file, fTriples);
    if (file2.exists())
      renameFile_assertTrue(file2, programFile(#1010745, "webs-made.txt.part1.gz"));
    
    print("DONE.");
  }
}