Warning: session_start(): open(/var/lib/php/sessions/sess_muvi5iok3joc6lfsrv2c67tras, 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 joinIntRangesWithDistanceLessThan(L l, int threshold) { new L out; for i over l: { IntRange r = l.get(i); if (i == 0 || r.start-last(out).end >= threshold) out.add(r); else setLast(out, intRange(last(out).start, r.end)); } ret out; }