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