<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_e4mgjcfpjnn501micm9us34kh7, 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 IterableIterator<S> scanLog_iterator(S progID, S fileName) {
  ret scanLog_iterator(getProgramFile(progID, fileName));
}

static IterableIterator<S> scanLog_iterator(S fileName) {
  ret scanLog_iterator(getProgramFile(fileName));
}

static IterableIterator<S> scanLog_iterator(File file) {
  // TODO: opens all at once
  final Iterator<S> it = chainIterators(map linesFromFile(
    concatLists(earlierPartsOfLogFile(file), ll(file))));
  ret iteratorFromFunction(func -> S {
    while (it.hasNext()) {
      S s = it.next();
      if (isProperlyQuoted(s))
        ret unquote(s);
    }
    null;
  });
}