Warning: session_start(): open(/var/lib/php/sessions/sess_qlgm5lun6ajt352i9pt7fdi31s, 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
scope transpileOnServerWithErrorWindow.
sclass #DaClass {
S snippetID;
JTextArea transpilationErrorBox;
Runnable onSuccess;
void go(bool medium) {
infoBox("Transpiling " + snippetID);
final Pair p = transpileOnBestServer(snippetID, medium ? "medium" : "quick");
awt {
if (p.a) {
infoBox("Transpiled OK!");
hideWindow(transpilationErrorBox);
transpilationErrorBox = null;
callFInNewThread(onSuccess);
} else {
infoBox("Transpilation error. " + p.b);
bool first = transpilationErrorBox == null;
transpilationErrorBox = maximizeFrame(scrollDown(showText(transpilationErrorBox, "Transpilation Error", p.b)));
if (first) {
setFrameIcon(#1101268, transpilationErrorBox);
addButtonsToWindow(transpilationErrorBox, "Medium transpile", rThread {
go(true)
});
}
}
}
}
}
svoid transpileOnServerWithErrorWindow(S snippetID, bool medium, final Runnable onSuccess) {
nu(DaClass, +snippetID, +onSuccess).go(medium);
}
end scope