Warning: session_start(): open(/var/lib/php/sessions/sess_dp9ncr31k2m3g55vq03ucv36bj, 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
static O evalInNewThread(O f) {
final new Flag flag;
final new Var var;
final new Var exception;
thread {
try {
var.set(callF(f));
} catch e {
exception.set(e);
}
flag.raise();
}
flag.waitUntilUp();
if (exception.has()) throw rethrow(exception!);
ret var!;
}