Warning: session_start(): open(/var/lib/php/sessions/sess_mejsd8nekf8p4ghmq9re117mo4, 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
// Either calculation result or Thread with timed-out computation
// Tries to interrupt thread after timeout
static Either evalWithTimeout(int timeoutMS, fO r) {
final new Flag done;
final new Flag doneWaiting;
final new Var var;
final new Var error;
Thread t = startThread(r {
try {
var.set(callF(r));
} catch e {
error.set(e);
if (doneWaiting.isUp())
printStackTrace(e);
}
done.raise();
});
done.waitUntilUp(timeoutMS);
doneWaiting.raise();
if (!done.isUp()) {
t.interrupt();
ret either2(t);
}
if (error! != null) rethrow(error!);
ret either1(var!);
}