changeset 400:850c6ba2dd23

fixed race condition in wikidicts, fixed MoinMoinBugs/WikiDictsRaisePicklingError imported from: moin--main--1.5--patch-404
author Florian Festi <Florian.Festi@trick.informatik.uni-stuttgart.de>
date Thu, 26 Jan 2006 22:39:22 +0000
parents 7ce195b2189a
children 61e50f3aaf68
files ChangeLog MoinMoin/wikidicts.py
diffstat 2 files changed, 18 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Thu Jan 26 21:57:38 2006 +0000
+++ b/ChangeLog	Thu Jan 26 22:39:22 2006 +0000
@@ -2,6 +2,20 @@
 # arch-tag: automatic-ChangeLog--arch@arch.thinkmo.de--2003-archives/moin--main--1.5
 #
 
+2006-01-26 23:39:22 GMT	Florian Festi <Florian.Festi@trick.informatik.uni-stuttgart.de>	patch-404
+
+    Summary:
+      fixed race condition in wikidicts, fixed MoinMoinBugs/WikiDictsRaisePicklingError
+    Revision:
+      moin--main--1.5--patch-404
+
+    fixed race condition in wikidicts, fixed MoinMoinBugs/WikiDictsRaisePicklingError
+    
+
+    modified files:
+     ChangeLog MoinMoin/wikidicts.py
+
+
 2006-01-26 22:57:38 GMT	Florian Festi <Florian.Festi@trick.informatik.uni-stuttgart.de>	patch-403
 
     Summary:
--- a/MoinMoin/wikidicts.py	Thu Jan 26 21:57:38 2006 +0000
+++ b/MoinMoin/wikidicts.py	Thu Jan 26 22:39:22 2006 +0000
@@ -339,8 +339,10 @@
 
             # remove old entries when dict or group page have been deleted,
             # add entries when pages have been added
-            olddictdict = self.dictdict
-            oldgroupdict = self.groupdict
+            # use copies because the dicts are shared via cfg.DICTS_DATA
+            #  and must not be modified
+            olddictdict = self.dictdict.copy()
+            oldgroupdict = self.groupdict.copy()
             self.dictdict = {}
             self.groupdict = {}