Warning: session_start(): open(/var/lib/php/sessions/sess_sb56u6d652c8vttjsd16ll8vog, 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
p {
// First, rotate.
File mainLog = programFile(#1010745, "webs-made.txt");
File fTriples = programFile(#1010745, "triples.gz");
rotateLogFile(mainLog);
// Load webs
new Map fiMap;
L webs = websMadeByProgram(#1010745, fiMap);
Pair> pair = webs_tripelizable_nonTripelizable(webs);
// Save triples
File file = getProgramFile(#1010745, "triples.new.gz");
PrintWriter out = newPrintWriter(newGZIPOutputStream(file));
webs_toTripleFile(pair.a, out);
out.close();
// Save non-triples
File file2 = getProgramFile(#1010745, "webs-made.new.gz");
out = newPrintWriter(newGZIPOutputStream(file2));
for (Web web : pair.b)
out.println(struct(fiMap.get(web)));
out.close();
// 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));
}