191
180
# need to let sufficient time elapse before we may cache this entry
192
181
# again. If we didn't do this, then, for example, a very quick 1
193
182
# byte replacement in the file might go undetected.
190
## mutter('%r added to cache: now=%f, mtime=%d, ctime=%d',
191
## path, time.time(), file_fp[FP_MTIME_COLUMN],
202
195
self._cache[path] = (digest, file_fp)
206
203
"""Write contents of cache to file."""