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;
}