<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_k66ffujm59mi9vd0okbmkgc5ed, 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 />
sbool webs_readTripleFileAsTriples_debug;

static L<TripleWeb> webs_readTripleFileAsTriples(File f) {
  if (hasMultipleCores()) ret webs_readTripleFileAsTriples_parallel2(f);
   
  if (!f.exists()) ret ll();
  Iterator<S> it = linesFromFile(f);
  new L<Symbol> names;
  while (it.hasNext()) {
    S s = trim(it.next());
    if (empty(s)) break;
    names.add(symbol(unquote(s)));
  }
  
  if (webs_readTripleFileAsTriples_debug)
    print("Have " + l(names) + " names");
  
  new L<TripleWeb> triples;
  while (it.hasNext()) {
    S s = it.next();
    pcall {
      addIfNotNull(triples, webs_readTripleFileAsTriples_line(s, names));
    }
  }
  ret triples;
}

static TripleWeb webs_readTripleFileAsTriples_line(S s, L<Symbol> names) {
  L<S> l = javaTokC(s);
  if (l(l) >= 8) {
    S source = intern(unquote(l.get(5)));
    O result = null;
    
    // result
    pcall {
      if (eq(get(l, 8), "(")) {
        int i = indexOf(l, ")", 9);
        if (i >= 0)
          result = safeUnstructure(joinWithSpace(subList(l, 9, i)));
      }
    }
    
    TripleWeb t = newTripleWebWithSourceAndResult(source, result);
    t.a = names.get(parseInt(l.get(0)));
    t.b = names.get(parseInt(l.get(1)));
    t.c = names.get(parseInt(l.get(2)));
    t.globalID(unquote(l.get(3)));
    // t.title = unquote(l.get(4)); // unused
    t.flags = eq(l.get(6), "v") ? 0 : TripleWeb.UNVERIFIED;
    t.created(parseLong(l.get(7)));
    
    ret t;
  } else if (webs_readTripleFileAsTriples_debug)
    print("Wrong number of tokens in line: " + l(l) + " - " + sfu(l));
  null;
}