Warning: session_start(): open(/var/lib/php/sessions/sess_bane84adrrgh92h03radnc4e79, 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 String getServerTranspiled(String snippetID) ctex {
long id = parseSnippetID(snippetID);
/*S t = getTranspilationFromBossBot(id);
if (t != null) return t;*/
File cacheFile = new File(getCacheProgramDir("#1001154", "t" + id);
S text = loadTextFile(cacheFile);
S md5 = text == null ? "" : md5(text);
S u = "http://tinybrain.de:8080/tb-int/get-transpiled.php?raw=1&withlibs=1&id=" + id + "&utf8=1&md5=" + md5;
URL url = new URL(u);
loadPage_charset.set("UTF-8");
try {
return loadPage(url);
} finally {
loadPage_charset.set(null);
}
}