web/propertysheet.py
changeset 10686 a08d5a657836
parent 10662 10942ed172de
child 10897 7c386161ebd6
--- a/web/propertysheet.py	Tue Sep 15 18:43:19 2015 +0200
+++ b/web/propertysheet.py	Mon Oct 05 17:10:36 2015 +0200
@@ -69,7 +69,7 @@
         self._ordered_propfiles.append(fpath)
 
     def need_reload(self):
-        for rid, (adirectory, rdirectory, mtime) in self._cache.items():
+        for rid, (adirectory, rdirectory, mtime) in list(self._cache.items()):
             if os.stat(osp.join(rdirectory, rid)).st_mtime > mtime:
                 del self._cache[rid]
         for fpath, mtime in self._propfile_mtime.items():