diff options
| author | Michael Hamann <michael@content-space.de> | 2013-01-26 11:22:52 +0100 |
|---|---|---|
| committer | Michael Hamann <michael@content-space.de> | 2013-01-26 11:24:05 +0100 |
| commit | bc27f3e28790e9a25e9428ed275624578b3e9a2d (patch) | |
| tree | e59ced66a2fa9839f8483e6086cb7022b868c7bd | |
| parent | 25adeb91ff207452ebd6275707b8a0cc3121db6c (diff) | |
| download | rpg-bc27f3e28790e9a25e9428ed275624578b3e9a2d.tar.gz rpg-bc27f3e28790e9a25e9428ed275624578b3e9a2d.tar.bz2 | |
Indexer: abort page rename if deletion of new id fails
| -rw-r--r-- | inc/indexer.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/inc/indexer.php b/inc/indexer.php index c08e438bf..e518907d7 100644 --- a/inc/indexer.php +++ b/inc/indexer.php @@ -361,7 +361,9 @@ class Doku_Indexer { $new_id = array_search($newpage, $pages); if ($new_id !== false) { // make sure the page is not in the index anymore - $this->deletePageNoLock($newpage); + if ($this->deletePageNoLock($newpage) !== true) { + return false; + } $pages[$new_id] = 'deleted:'.time().rand(0, 9999); } |