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: