<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_kt4lfmsu7boittagbf9h9qmmqq, 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 FastCollabWorker(FastCollab collab, int workerIndex) extends Thread {
  volatile gettable long errorCount;
  volatile gettable long spinWaits;
  volatile gettable long workCount;
  volatile gettable Throwable lastError;
  settable PingSource interruptor;
  int sleepTime;
  
  run {
    Runnable work;
    var interruptor = this.interruptor;
    sleepTime = collab.sleepTime;
    
    while ((work = collab.grabWork(workerIndex)) != collab.DONE) {
      interruptor?.ping();
      try {
        if (work != null) {
          ++workCount;
          work.run();
        } else
          waitSome();
      } catch e {
        ++errorCount;
        lastError = e;
      }
    }
  }
  
  void waitSome ctex {
    if (sleepTime == 0)
      ++spinWaits;
    else
      sleep(sleepTime);
  }
}