<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_7p5b655cdjkbbivt3u73nane20, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static O evalWithTimeoutOrException(fO f, int timeoutMS) {
  ret evalWithTimeoutOrException(timeoutMS, f);
}

static O evalWithTimeoutOrException(int timeoutMS, fO f) {
  ret eitherAOpt(evalWithTimeout(timeoutMS, f));
}

static O evalWithTimeoutOrException(double timeoutSeconds, fO f) {
  ret eitherAOpt(evalWithTimeout(timeoutSeconds, f));
}

static <A> A evalWithTimeoutOrException(int timeoutMS, F0<A> f) {
  Either<O, Thread> e = evalWithTimeout(timeoutMS, f);
  if (e.isA()) ret (A) e.a();
  fail("Timeout after " + timeoutMS + " ms");
}

static <A> A evalWithTimeoutOrException(double timeoutSeconds, F0<A> f) {
  ret evalWithTimeoutOrException(toMS_int(timeoutSeconds), f);
}