Warning: session_start(): open(/var/lib/php/sessions/sess_s93ed3chuph4uvo35o4i5tnv8i, 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 ai_filterBadWebs(L _webs) {
L webs = emptyListWithCapacity(_webs);
int dropped = 0, dropped2 = 0;
for (Web web : _webs)
if (web_nodesTooLong(web))
dropped++;
else if (!web_tripelizable(web))
dropped2++;
else
webs.add(web);
if (dropped != 0)
print("Dropped " + nWeb(dropped) + " with too long nodes");
if (dropped2 != 0)
print("Dropped " + n(dropped2, "non-triple"));
ret webs;
}