Warning: session_start(): open(/var/lib/php/sessions/sess_l8i0qvdnb3fnketu6erqa6se8l, 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
sclass G22DatabasesPanel {
G22utils g22utils;
JObjectTable table;
*(G22Utils *g22utils) {}
record GazelleDB(S name, File dir) {
simplyCached bool loaded() {
ret sameFile(dir, concepts.conceptsDir());
}
}
visualize {
table = swing(-> new JObjectTable);
table.itemToMap = db -> litorderedmap(
"Name" := db.name,
"Directory" := f2s(db.dir),
"Loaded" := db.loaded() ? "Yes" : "No"
);
new L dbs;
dbs.add(new GazelleDB("Legacy DB", programDir()));
for (File dir : listDirsContainingFileNamed(g22utils.databasesMotherDir(),
"concepts.structure.gz"))
dbs.add(new GazelleDB(fileName(dir), dir));
table.setList(dbs);
ret withTopAndBottomMargin(jCenteredRaisedSection("Gazelle Databases",
withMargin(table.visualize())));
}
}