Warning: session_start(): open(/var/lib/php/sessions/sess_7ghhopk8p382hgg8tt3udflej1, 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
!7
sS snippetID = #1015364;
p {
S src = getServerTranspiledWithoutLibs(snippetID);
try {
javaParseCompilationUnit(src);
print(snippetID + " parsed OK");
} catch e {
S msg = firstLine(innerMessage(e));
print(msg);
int line = parseIntOpt(regexpFirstGroupIC("line (\\d+)", msg));
print();
if (line != 0) {
L lines = lines(src);
for (int i = max(0, line-5); i <= min(l(lines), line+5); i++)
print(" LINE " + i + ": " + lines.get(i-1));
}
print();
}
}