Warning: session_start(): open(/var/lib/php/sessions/sess_vi5n3tb24s4tj2dumvu97jcc9d, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
static File mainLog, fTriples, file, file2;
p {
// First, rotate.
mainLog = programFile(#1010745, "webs-made.txt");
fTriples = programFile(#1010745, "triples.gz");
rotateLogFile(mainLog);
File tripelizedDir = programDir(#1010745, "tripelized");
// Load webs
new Map fiMap;
L webs = websMadeByProgram(#1010745, fiMap);
Pair> pair = webs_tripelizable_nonTripelizable(webs);
// Save triples
file = new File(tripelizedDir, "triples.new.gz");
PrintWriter out = newPrintWriter(newGZIPOutputStream(file));
webs_toTripleFile(pair.a, out);
out.close();
// Save non-triples
file2 = new File(tripelizedDir, "webs-made.new.gz");
out = newPrintWriter(newGZIPOutputStream(file2));
for (Web web : pair.b)
out.println(struct(fiMap.get(web)));
out.close();
//phase2();
}
svoid phase2 {
// 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);
renameFile_assertTrue(file2, programFile(#1010745, "webs-made.txt.part1.gz"));
print("Stored " + nWeb(pair.a) + " in " + f2s(file) + ", " + nWeb(pair.b) + " in " + f2s(file2));
}