diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2010-05-08 12:35:51 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2010-05-08 12:35:51 +0200 |
| commit | be66694cc5d4ff7cad1467f20ab1e55611c97ff6 (patch) | |
| tree | e8e8f926367a67fcd0c195d318cbd3efb84a45e5 /lib | |
| parent | dd512d246ef7a200ca1137bb267aee87380a2f6c (diff) | |
| parent | 5f5509e5d91f69877aa6bd3b1cba15267e539fe2 (diff) | |
| download | rpg-be66694cc5d4ff7cad1467f20ab1e55611c97ff6.tar.gz rpg-be66694cc5d4ff7cad1467f20ab1e55611c97ff6.tar.bz2 | |
Merge branch 'master' of github.com:splitbrain/dokuwiki
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/exe/indexer.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/exe/indexer.php b/lib/exe/indexer.php index eb5670005..7e55915f4 100644 --- a/lib/exe/indexer.php +++ b/lib/exe/indexer.php @@ -353,6 +353,9 @@ function sendDigest() { $olduser = $_SERVER['REMOTE_USER']; foreach($subscriptions as $id => $users) { + if (!subscription_lock($id)) { + continue; + } foreach($users as $data) { list($user, $style, $lastupdate) = $data; $lastupdate = (int) $lastupdate; @@ -399,6 +402,7 @@ function sendDigest() { // Update notification time. subscription_set($user, $id, $style, time(), true); } + subscription_unlock($id); } // restore current user info |