// or we get nothing from upstream.
$results = null;
+ $round = 0;
do {
break;
}
- while ($raw->fetch()) {
- if ($this->filter($raw)) {
- $filtered[] = clone($raw);
+ $notices = $raw->fetchAll();
+
+ $this->prefill($notices);
+
+ foreach ($notices as $notice) {
+ if ($this->filter($notice)) {
+ $filtered[] = $notice;
if (count($filtered) >= $total) {
break;
}
// XXX: make these smarter; factor hit rate into $askFor
$startAt += $askFor;
- $askFor = max($total - count($filtered), NOTICES_PER_PAGE);
+
+ $hits = count($filtered);
+
+ $lastAsk = $askFor;
+
+ if ($hits === 0) {
+ $askFor = max(min(2 * $askFor, NOTICES_PER_PAGE * 50), NOTICES_PER_PAGE);
+ } else {
+ $askFor = max(min(intval(ceil(($total - $hits)*$startAt/$hits)), NOTICES_PER_PAGE * 50), NOTICES_PER_PAGE);
+ }
- } while (count($filtered) < $total && $results !== 0);
+ $round++;
+
+ } while (count($filtered) < $total && $results >= $lastAsk);
return new ArrayWrapper(array_slice($filtered, $offset, $limit));
}
return $ids;
}
+
+ function prefill($notices)
+ {
+ return;
+ }
}