<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ha10kpdggcou7ef4jrrra9inrk, 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 />
srecord noeq TimeoutException(double timeoutSeconds,
  O function,
  Thread thread) extends RuntimeException {

  // !customConstructor
  *(double *timeoutSeconds,
    O *function,
    Thread *thread) {
    super("Timeout after " + iceil(timeoutSeconds) + "s by " + shorten_str(function), makeCause(thread));
  }
  
  static Throwable makeCause(Thread thread) {
    var stackTrace = thread.getStackTrace();  
    var cause = new ThrowableWithCustomStackTrace("Still calculating", stackTrace);
    ret cause;
  }
}