Warning: session_start(): open(/var/lib/php/sessions/sess_086dnkhj5e09nju329qpg5a660, 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 Map map;
set flag structure_debug.
p {
deleteDB();
l_persistentLister();
map = l_getTreeMap("German words with count");
checkMap(0);
map = l_getTreeMap("German words with count");
checkMap(0);
sleepSeconds(2);
longMultiSet_add(map, "Hallo");
print("Words now: " + sfu(map));
assertEquals(1, l(map));
dbOff();
print("\nOn disk: " + loadConceptsStructure() + "\n");
db();
map = l_getTreeMap("German words with count");
checkMap(1);
dbOff();
print("\nOn disk: " + loadConceptsStructure() + "\n");
}
svoid checkMap(int size) {
print("Map type: " + className(map) + ", hash code: " + identityHashCode(map));
assertTrue(map << MapInConcept);
assertTrue("Map sane", getOpt_raw(map, 'm) != null);
assertEquals(size, l(map));
print("Size: " + l(map));
print("Words: " + sfu(map));
}