Warning: session_start(): open(/var/lib/php/sessions/sess_gs4r0av0iolmh5m6na6liesmom, 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 int lastIndexOf(S a, S b) { ret a == null || b == null ? -1 : a.lastIndexOf(b); } static int lastIndexOf(S a, char b) { ret a == null ? -1 : a.lastIndexOf(b); } // starts searching from i-1 static int lastIndexOf(L l, int i, A a) { if (l == null) ret -1; for (int i = min(l(l), i)-1; i >= 0; i--) if (eq(l.get(i), a)) ret i; ret -1; }