Warning: session_start(): open(/var/lib/php/sessions/sess_e192uo63kavle8s42mf1d17496, 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 L websMadeByProgram(S progID) { ret websMadeByProgram(progID, null); } static L websMadeByProgram(S progID, Map furtherInfoMap) { if (hasMultipleCores()) ret websMadeByProgram_parallel(progID, furtherInfoMap); new L webs; // TODO: clean up file handle in case of error IterableIterator l = scanLog_unstructure_iterator(progID, "webs-made.txt"); S src = progID; for (SoftwareMadeWeb o : l) pcall { Web web = o.web; if (web == null) web = (Web) unstructure(o.structure); if (web != null) { webs.add(web_intern(web_setSourceIfEmpty(web, src))); furtherInfoMap.put(web, o); } } ret webs; }