diff options
| -rw-r--r-- | inc/indexer.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/inc/indexer.php b/inc/indexer.php index 714feb4f7..d2a38e4a7 100644 --- a/inc/indexer.php +++ b/inc/indexer.php @@ -489,6 +489,9 @@ class Doku_Indexer { foreach ($result as $word => $res) { $final[$word] = array(); foreach ($res as $wid) { + // handle the case when ($ixid < count($index)) has been false + // and thus $docs[$wid] hasn't been set. + if (!isset($docs[$wid])) continue; $hits = &$docs[$wid]; foreach ($hits as $hitkey => $hitcnt) { // make sure the document still exists |