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()))); } }