<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_htqh4gm5rrf5ajfcafui55030u, 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 L<WebNode> indexedNodes_withInvalids(S s) {
  L<WebNode> l = indexedNodes_rawLookup(s);
  bool shared = true;
  for (VirtualNodeIndex i : concurrentlyIterateList(virtualNodeIndices())) {
    L x = i.get(s);
    if (nempty(x)) {
      if (empty(l)) { l = x; shared = true; }
      else {
        if (shared) { l = cloneList(l); shared = false; }
        l.addAll(x);
      }
    }
  }
  ret l;
}

ifclass AI_SubSpace
static L<WebNode> indexedNodes_withInvalids(AI_SubSpace ss, S s) {
  ret ss.indexedNodes_rawLookup(s);
}
endif