Warning: session_start(): open(/var/lib/php/sessions/sess_vqt2f9cqhu5d0e169g29bglq9g, 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 uploadTranspilation(S progID, S transpilation, LS libs) {
S server = tb_mainServer();
// Compiled OK, let's upload
S result = postPageWithCredentials(server + "/tb/upload-transpilation.php",
id := psI(progID),
+transpilation,
libs := lines(map parseSnippetID(libs)),
computer := computerID());
Matcher m = regexp("URL=/(dexcompile\\.php.*?)'", result);
if (!m.find()) fail("Server said: " + result);
S url = server + "/" + m.group(1);
result = postPageWithCredentials(url);
bool ok = result.contains("SUCCESS");
sendToSnippetUpdatesBot("/transpile" + (ok ? "OK" : "Fail")
+ "/" + psI(progID));
if (!ok)
fail("Server said: " + result);
print("Transpiled & uploaded " + fsI(progID) + "!");
}