Warning: session_start(): open(/var/lib/php/sessions/sess_ngaurkmoshulr8cneu06vo0tkh, 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
// returns (jar, transpiled src)
static Pair compileSnippetThroughServer(S progID) {
S transpiledSrc = getServerTranspiled2(snippetID);
byte[] jarData = loadBinaryPage("http://www.botcompany.de:8080/1020140/raw/" + psI(progID) + "?md5=" + md5(transpiledSrc));
if (!isJAR(jarData)) {
print("fallback to CompilerBot");
ret CompilerBot.compileSnippet2(progID);
}
S md5 = md5(dehlibs + "\n" + src + "\n" + progID);
File jar = CompilerBot.getJarFile(md5);
saveBinaryFile(jar, jarData);
ret pair(jar, transpiledSrc);
}