Warning: session_start(): open(/var/lib/php/sessions/sess_k9g45ai9qife2s512u95s2n8bd, 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
concept DWeb {
S globalID;
S webStruct;
}
p {
dbIndexing(DWeb, 'globalID);
print("n=" + countConcepts(DWeb));
int i = 0;
for (Web web : allIndexedWebs()) {
cset(uniq(DWeb, globalID := web.globalID), webStruct := struct(web));
if ((i++ % 1000) == 0) print(i + " / " + countConcepts());
}
print("n=" + countConcepts(DWeb));
if (noConsole()) cleanKillVM_noTimeOut();
}