<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vhtl228r8ugffd54kviu2qv44u, 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<Web> webs_readTripleFile_parallel(File f) ctex {
  print("Reading " + f2s(f) + " in " + nCore(numberOfCores()));
  if (!f.exists()) ret ll();
  Iterator<S> it = linesFromFile(f);
  
  final new L<S> names;
  while (it.hasNext()) {
    S s = trim(it.next());
    if (empty(s)) break;
    names.add(unquote(s));
  }
  
  final new L<Pair<Web, Int>> webs;
  
  int poolSize = numberOfCores(), queueSize = 1000;
  NotifyingBlockingThreadPoolExecutor e = new(poolSize, queueSize, 15, TimeUnit.SECONDS);
  
  try {
    int i = 0;
    for (fS s : iterable(it)) {
      ++i;
      final int _i = i;
      e.execute(r { pcall {
        Web web = webs_readTripleFile_line(s, names);
        if (web != null) synchronized(webs) {
          webs.add(pair(web, _i));
        }
      }});
    }
    e.shutdown();
    e.awaitTermination(1, TimeUnit.DAYS);
  } finally {
    e.shutdown();
  }
  
  ret firstOfPairs(sortBySecondOfPairs_inPlace(webs));
}