diff options
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 869ac1b6..1f1016cd 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1174,6 +1174,10 @@ class Cache: except: pass try_delete(RELOOPER) + try: + open(Cache.dirname + '__last_clear', 'w').write('last clear: ' + time.asctime() + '\n') + except: + print >> sys.stderr, 'failed to save last clear time' # Request a cached file. If it isn't in the cache, it will be created with # the given creator function |