Description

When adding a user to http://master17.moinmo.in/MoinPagesEditorGroup the user did not get correct acl rights afterwards, like when not being in that group.

Restarting the server process did not help.

Deleting cache/.../wikidicts/dicts_groups and restarting server process helped.

Details

MoinMoin Version

master17 wiki 2008-05-02

user name was neither in dictdict nor in groupdict entry in the pickle.

{'scan_begin_time': 1209659979.1651709, 'scan_end_time': 1209659979.608289, 'picklever': 6}
#            'Thu May  1 16:39:39 2008'          'Thu May  1 16:39:39 2008'

Group page was edited at 2008-05-02 15:48:36 UTC (user was created short before that).

Workaround

Delete dicts_groups, maybe restart server.

Discussion

I'm sure the bug is fixed by adding TrivialPageChangedEvent to the events for wikidictsrescan. Unfortunately this detail is missing in this bug report. So if you are pretty sure you have not enabled this flag by saving the page please reopen the bug report again.

Plan


CategoryMoinMoinBugFixed

MoinMoin: MoinMoinBugs/17devWikiDictsDontUpdate (last edited 2008-05-18 12:40:37 by ThomasWaldmann)