Warning: session_start(): open(/var/lib/php/sessions/sess_e7olvugp4q6i4iu6d5ej798ifa, 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
static L downloadedDiagramStructures() {
ret downloadedDiagramStructures(listFilesOfProgram_notDirs(#1010484));
}
static L downloadedDiagramStructures(L files) {
new L diagrams;
for (File f : files) {
if (!isPossibleMD5(f.getName()) || !f.isFile()) continue;
print(f);
if (fileStartsWith(f, toUtf8("CirclesAndLines"))) {
print("Diagram!");
diagrams.add(loadTextFile(f));
} else if (isGZ(f)) {
//print("GZipped!");
S text = loadGZippedTextFile(f);
if (isQuoted(firstJavaToken(text)))
diagrams.addAll(scanQuotedLogLines(text));
else {
Concepts c = new Concepts().loadGrab(text, true);
L structures = getFieldOfAllConceptClasses(c, 'calStructure);
print("Got " + n(structures, "diagram"));
diagrams.addAll(structures);
}
} else
print("Huh?");
}
ret diagrams;
}