Warning: session_start(): open(/var/lib/php/sessions/sess_e3f4n8pvlmbi6ht0a7u6sdm2br, 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 reTok(L tok) {
replaceCollection(tok, javaTok(tok));
ret tok;
}
static L reTok(L tok, int i) {
ret reTok(tok, i, i+1);
}
static L reTok(L tok, int i, int j) {
// extend i to an "N" token
// and j to "C" (so j-1 is an "N" token)
i = i & ~1;
j = j | 1;
L t = javaTok(join(subList(tok, i, j)));
replaceListPart(tok, i, j, t);
// fallback to safety
// reTok(tok);
ret tok;
}