<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_blb0elhd0voe54m4irmbcvhcbh, 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);
  for (VirtualNodeIndex i : concurrentlyIterateList(virtualNodeIndices())) {
    L x = i.get(s);
    if (nempty(x)) {
      //print("Word " + s + ". " + className(i) + " adding " + l(x) + " to " + l(l));
      if (empty(l)) l = x;
      else {
        if (!l instanceof CombinedList) l = combinedList_ll(l);
        l/CombinedList.addList(x);
      }
    }
  }
  ret l;
}

ifclass AI_SubSpace
static L<WebNode> indexedNodes_withInvalids(AI_SubSpace ss, S s) {
  ret ss.indexedNodes_rawLookup(s);
}
endif