Warning: session_start(): open(/var/lib/php/sessions/sess_d4kbjdk0mlvh2oei044g42qv37, 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
// i is a code-token (odd index) // return value is also a code token, or end of list static int tokFindNextLine(List tok, int i) { while (i < tok.size() && tok.get(i-1).indexOf('\n') < 0) i += 2; return i; }