<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_nqvuaus92g4voll7pudfar52jo, 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 />
svoid cleanDefunctACCsInAllThreads() {
  for (Thread t : allThreadsWithACC()) pcall {
    AccessControlContext acc = castGetOpt(t, 'inheritedAccessControlContext);
    if (acc == null) continue;
    L<S> defunctIDs = acc_defunctProgramIDs(acc);
    if (nempty(defunctIDs)) {
      S desc = threadGroupName(t) + " / " + t.getName();
      print("DEFUNCT ACC IN THREAD! Cleaning. " + defunctIDs + ": " + desc);
      set(t, inheritedAccessControlContext := acc_current());
      print("CLEANED.");
    }
  }
}