web/propertysheet.py
changeset 10662 10942ed172de
parent 10615 6c497fe389d2
child 10686 a08d5a657836
--- a/web/propertysheet.py	Tue Sep 08 18:04:57 2015 +0200
+++ b/web/propertysheet.py	Tue Sep 15 16:15:03 2015 +0200
@@ -72,7 +72,7 @@
         for rid, (adirectory, rdirectory, mtime) in self._cache.items():
             if os.stat(osp.join(rdirectory, rid)).st_mtime > mtime:
                 del self._cache[rid]
-        for fpath, mtime in self._propfile_mtime.iteritems():
+        for fpath, mtime in self._propfile_mtime.items():
             if os.stat(fpath).st_mtime > mtime:
                 return True
         return False