Warning: session_start(): open(/var/lib/php/sessions/sess_4aj0srgl9pfv13jvumfu28dk0p, 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
sbool checkNTokenHygiene(L tok) {
ret l(tok) == 1 || checkNTokenHygiene_forward(tok) && checkNTokenHygiene_backward(tok);
}
sbool checkNTokenHygiene_forward(L tok) {
int level = 0;
for (int i = 0; i < l(tok)-1; i += 2) {
S t = tok.get(i);
for (char c : characters(t))
if (c == '{') ++level;
else if (c == '}') level = max(0, level-1);
}
if (level == 0) true;
for (char c : characters(last(tok)))
if (c == '}') if (--level == 0) true;
false;
}
sbool checkNTokenHygiene_backward(L tok) {
int level = 0;
for (int i = l(tok)-1; i > 0; i -= 2) {
S t = tok.get(i);
for (char c : reversedCharacters(t))
if (c == '}') ++level;
else if (c == '{') level = max(0, level-1);
}
if (level == 0) true;
for (char c : reversedCharacters(first(tok)))
if (c == '{') if (--level == 0) true;
false;
}