180
191
# need to let sufficient time elapse before we may cache this entry
181
192
# again. If we didn't do this, then, for example, a very quick 1
182
193
# 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],
195
202
self._cache[path] = (digest, file_fp)
203
206
"""Write contents of cache to file."""