server/schemaserial.py
changeset 7543 570522300e22
parent 7398 26695dd703d8
child 7815 2a164a9cf81c
--- a/server/schemaserial.py	Mon Jun 20 14:52:19 2011 +0200
+++ b/server/schemaserial.py	Tue Jun 21 10:57:25 2011 +0200
@@ -138,8 +138,8 @@
             except:
                 pass
             tocleanup = [eid]
-            tocleanup += (eid for eid, (eidetype, uri, extid) in repo._type_source_cache.items()
-                          if etype == eidetype)
+            tocleanup += (eid for eid, cached in repo._type_source_cache.iteritems()
+                          if etype == cached[0])
             repo.clear_caches(tocleanup)
             session.commit(False)
             if needcopy: