diff options
author | Andreas Gohr <andi@splitbrain.org> | 2009-01-18 21:03:57 +0100 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2009-01-18 21:03:57 +0100 |
commit | c5418046f4cd341e8bf37cc0db91b3dacf228c3c (patch) | |
tree | 281ed42fcaabfbf506a5a714ace9bf97daf6e590 | |
parent | 109577f522aaa3fec5ded0dcc9cc6bd7d04b4a6a (diff) | |
download | rpg-c5418046f4cd341e8bf37cc0db91b3dacf228c3c.tar.gz rpg-c5418046f4cd341e8bf37cc0db91b3dacf228c3c.tar.bz2 |
fixed indexer which was broken by miscalculation in previous optimization
darcs-hash:20090118200357-7ad00-2d3a8dcb57ef5d19efe65fd4af8c26af261aef06.gz
-rw-r--r-- | inc/indexer.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/indexer.php b/inc/indexer.php index ca5f552f2..08ad03965 100644 --- a/inc/indexer.php +++ b/inc/indexer.php @@ -299,7 +299,7 @@ function idx_addPage($page){ // get page id (this is the linenumber in page.idx) $pid = array_search("$page\n",$page_idx); if(!is_int($pid)){ - $pid = count($page_idx)-1; + $pid = count($page_idx); // page was new - write back if (!idx_appendIndex('page','',"$page\n")){ trigger_error("Failed to write page index", E_USER_ERROR); |