Warning: session_start(): open(/var/lib/php/sessions/sess_fab79oun7foddgi7l93prbo3cr, 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();
}
}
Lock lock = getOpt(mc(), 'transpileRaw_lock);
if (lock != null) {
lock lock;
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;
}