changeset 3561:a70795dd0300

events.wikidictsrescan: handle TrivialPageChangedEvent too (bug fix for MoinMoinBugs/17devWikiDictsDontUpdate)
author Reimar Bauer <rb.proj AT googlemail DOT com>
date Tue, 06 May 2008 17:51:45 +0200
parents 2d9f1ae98b2a
children 98000f9de890
files MoinMoin/events/wikidictsrescan.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/MoinMoin/events/wikidictsrescan.py	Tue May 06 17:46:40 2008 +0200
+++ b/MoinMoin/events/wikidictsrescan.py	Tue May 06 17:51:45 2008 +0200
@@ -16,7 +16,8 @@
 
 def handle(event):
     # "changed" includes creation, deletion, renamed and copied
-    if isinstance(event, ev.PageChangedEvent) or isinstance(event, ev.PageRenamedEvent) or isinstance(event, ev.PageCopiedEvent):
+    if (isinstance(event, ev.PageChangedEvent) or isinstance(event, ev.PageRenamedEvent) or
+        isinstance(event, ev.PageCopiedEvent) or isinstance(event, ev.TrivialPageChangedEvent)):
         cfg = event.request.cfg
         pagename = event.page.page_name
         if cfg.cache.page_dict_regex.search(pagename) or \