<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_93k1b77hne9nr6prb1766j05gr, 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 />
set flag useNewPing.

static <A> A memLimit(long allocationLimit, IF0<A> f) {
  if (f == null) null;
  long baseline = bytesAllocatedByCurrentThread();
  long limit = baseline+allocationLimit;
  temp tempNewPing_addToStack(r {
    if (bytesAllocatedByCurrentThread() > limit)
      fail("Allocation limit for " + f + " exceeded: " + toM(allocationLimit)  + " MB");
  });
  A a = f.get();
  ping();
  ret a;
}