web/propertysheet.py
changeset 10686 a08d5a657836
parent 10662 10942ed172de
child 10897 7c386161ebd6
equal deleted inserted replaced
10685:44cb0e9df181 10686:a08d5a657836
    67                     raise Exception(msg)
    67                     raise Exception(msg)
    68         self._propfile_mtime[fpath] = os.stat(fpath).st_mtime
    68         self._propfile_mtime[fpath] = os.stat(fpath).st_mtime
    69         self._ordered_propfiles.append(fpath)
    69         self._ordered_propfiles.append(fpath)
    70 
    70 
    71     def need_reload(self):
    71     def need_reload(self):
    72         for rid, (adirectory, rdirectory, mtime) in self._cache.items():
    72         for rid, (adirectory, rdirectory, mtime) in list(self._cache.items()):
    73             if os.stat(osp.join(rdirectory, rid)).st_mtime > mtime:
    73             if os.stat(osp.join(rdirectory, rid)).st_mtime > mtime:
    74                 del self._cache[rid]
    74                 del self._cache[rid]
    75         for fpath, mtime in self._propfile_mtime.items():
    75         for fpath, mtime in self._propfile_mtime.items():
    76             if os.stat(fpath).st_mtime > mtime:
    76             if os.stat(fpath).st_mtime > mtime:
    77                 return True
    77                 return True