2000-02-04 15:28:42 +00:00
|
|
|
"""Maintain a cache of file stats.
|
|
|
|
There are functions to reset the cache or to selectively remove items.
|
|
|
|
"""
|
1990-10-13 19:23:40 +00:00
|
|
|
|
1992-03-31 19:04:48 +00:00
|
|
|
import os
|
1990-10-21 16:17:34 +00:00
|
|
|
from stat import *
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
# The cache.
|
1992-03-31 19:04:48 +00:00
|
|
|
# Keys are pathnames, values are `os.stat' outcomes.
|
1990-10-13 19:23:40 +00:00
|
|
|
#
|
|
|
|
cache = {}
|
|
|
|
|
|
|
|
|
|
|
|
def stat(path):
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Stat a file, possibly out of the cache."""
|
1990-10-21 16:17:34 +00:00
|
|
|
if cache.has_key(path):
|
1990-10-13 19:23:40 +00:00
|
|
|
return cache[path]
|
1992-03-31 19:04:48 +00:00
|
|
|
cache[path] = ret = os.stat(path)
|
1990-10-13 19:23:40 +00:00
|
|
|
return ret
|
|
|
|
|
|
|
|
|
|
|
|
def reset():
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Reset the cache completely."""
|
1995-12-07 10:16:45 +00:00
|
|
|
global cache
|
|
|
|
cache = {}
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
|
|
|
def forget(path):
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Remove a given item from the cache, if it exists."""
|
1990-10-21 16:17:34 +00:00
|
|
|
if cache.has_key(path):
|
1990-10-13 19:23:40 +00:00
|
|
|
del cache[path]
|
|
|
|
|
|
|
|
|
|
|
|
def forget_prefix(prefix):
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Remove all pathnames with a given prefix."""
|
1990-10-13 19:23:40 +00:00
|
|
|
n = len(prefix)
|
|
|
|
for path in cache.keys():
|
1992-01-01 19:35:13 +00:00
|
|
|
if path[:n] == prefix:
|
1990-10-13 19:23:40 +00:00
|
|
|
del cache[path]
|
|
|
|
|
|
|
|
|
|
|
|
def forget_dir(prefix):
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Forget about a directory and all entries in it, but not about
|
|
|
|
entries in subdirectories."""
|
1992-01-01 19:35:13 +00:00
|
|
|
if prefix[-1:] == '/' and prefix <> '/':
|
1990-10-13 19:23:40 +00:00
|
|
|
prefix = prefix[:-1]
|
|
|
|
forget(prefix)
|
|
|
|
if prefix[-1:] <> '/':
|
|
|
|
prefix = prefix + '/'
|
|
|
|
n = len(prefix)
|
|
|
|
for path in cache.keys():
|
1992-01-01 19:35:13 +00:00
|
|
|
if path[:n] == prefix:
|
1990-10-13 19:23:40 +00:00
|
|
|
rest = path[n:]
|
1992-01-01 19:35:13 +00:00
|
|
|
if rest[-1:] == '/': rest = rest[:-1]
|
1990-10-13 19:23:40 +00:00
|
|
|
if '/' not in rest:
|
|
|
|
del cache[path]
|
|
|
|
|
|
|
|
|
|
|
|
def forget_except_prefix(prefix):
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Remove all pathnames except with a given prefix.
|
|
|
|
Normally used with prefix = '/' after a chdir()."""
|
1990-10-13 19:23:40 +00:00
|
|
|
n = len(prefix)
|
|
|
|
for path in cache.keys():
|
|
|
|
if path[:n] <> prefix:
|
|
|
|
del cache[path]
|
|
|
|
|
|
|
|
|
|
|
|
def isdir(path):
|
2000-02-04 15:28:42 +00:00
|
|
|
"""Check for directory."""
|
1990-10-13 19:23:40 +00:00
|
|
|
try:
|
1990-10-21 16:17:34 +00:00
|
|
|
st = stat(path)
|
1992-03-31 19:04:48 +00:00
|
|
|
except os.error:
|
1990-10-13 19:23:40 +00:00
|
|
|
return 0
|
1990-10-21 16:17:34 +00:00
|
|
|
return S_ISDIR(st[ST_MODE])
|