Warning: session_start(): open(/var/lib/php/sessions/sess_geg9k9e1nak164an9m8jackb94, 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
sS includeInMainLoaded_magicComment;
static L includeInMainLoaded(LS tok, S text) {
if (includeInMainLoaded_magicComment == null)
includeInMainLoaded_magicComment = "/*" + randomID() + "*/";
int i = lastIndexOfStartingWith(tok, includeInMainLoaded_magicComment);
if (i > 0) --i; else {
print("Finding main class");
L main = findMainClass(tok);
if (main == null) {
print(join(tok));
fail("no main class");
}
i = main.lastIndexOf("}");
i += magicIndexOfSubList(tok, main);
tok.set(i, "}" + includeInMainLoaded_magicComment);
}
tok.set(i, "\n" + text + "\n" + tok.get(i));
ret includeInMainLoaded_reTok(tok, i, i+1);
}