Warning: session_start(): open(/var/lib/php/sessions/sess_6cn922j0ugphq9gifmddgkqlq2, 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 CharInToken charIndexToCharInToken(LS tok, int charIndex) { int i = 0, idx = 0, lTok; while (i < l(tok) && idx+(lTok = l(tok.get(i))) <= charIndex) { idx += lTok; i++; } ret CharInToken(tok, i, charIndex-idx); }