Warning: session_start(): open(/var/lib/php/sessions/sess_28osd63m5f6r4s0uhjisrck4hj, 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 void ai_loadWebsFromFile(File f, S src, L websOut, Map furtherInfoMap) {
//if (hasMultipleCores()) ret ai_loadWebsFromFile_parallel(f, src, furtherInfoMap);
IterableIterator l = scanLog_unstructure_iterator(f);
for (SoftwareMadeWeb o : l) pcall {
Web web = o.web;
if (web == null)
web = (Web) unstructure(o.structure);
if (web != null) {
websOut.add(web_intern(web_setSourceIfEmpty(web, src)));
mapPut(furtherInfoMap, web, o);
}
}
}