Warning: session_start(): open(/var/lib/php/sessions/sess_n3d3u7h9h9jrpfvalqbp32k8a9, 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 true if a translator had been loaded
static synchronized bool veryQuickJava_refresh() {
bool change = false;
pcall {
// TODO: Why are we dropping these?
for (File f : listFiles(new File(javaxCodeDir(), "Transpilations")))
if (ewic(f.getName(), ".java")) {
change = true;
f.delete();
}
}
O trans = getOpt(mc(), 'transpileRaw_trans);
if (trans != null) {
cleanUp(trans);
setOpt(mc(), 'transpileRaw_trans, null);
change = true;
}
// Also clear standard functions
callOpt(getOpt(mc(), 'loadFunctions_cache), 'clear);
ret change;
}