2000-02-04 11:39:30 -04:00
|
|
|
"""Read and cache directory listings.
|
|
|
|
|
|
|
|
The listdir() routine returns a sorted list of the files in a directory,
|
|
|
|
using a cache to avoid reading the directory more often than necessary.
|
|
|
|
The annotate() routine appends slashes to directories."""
|
1990-10-13 16:23:40 -03:00
|
|
|
|
1992-03-31 14:55:40 -04:00
|
|
|
import os
|
1990-10-13 16:23:40 -03:00
|
|
|
|
2001-03-02 09:35:37 -04:00
|
|
|
__all__ = ["listdir", "opendir", "annotate", "reset"]
|
2001-01-20 15:54:20 -04:00
|
|
|
|
1990-10-13 16:23:40 -03:00
|
|
|
cache = {}
|
|
|
|
|
2001-03-02 09:35:37 -04:00
|
|
|
def reset():
|
2001-03-16 04:29:48 -04:00
|
|
|
"""Reset the cache completely."""
|
|
|
|
global cache
|
|
|
|
cache = {}
|
2001-03-02 09:35:37 -04:00
|
|
|
|
2000-02-02 11:10:15 -04:00
|
|
|
def listdir(path):
|
|
|
|
"""List directory contents, using cache."""
|
|
|
|
try:
|
|
|
|
cached_mtime, list = cache[path]
|
|
|
|
del cache[path]
|
|
|
|
except KeyError:
|
|
|
|
cached_mtime, list = -1, []
|
2003-09-20 12:52:21 -03:00
|
|
|
mtime = os.stat(path).st_mtime
|
2000-12-12 19:20:45 -04:00
|
|
|
if mtime != cached_mtime:
|
2003-09-20 12:52:21 -03:00
|
|
|
list = os.listdir(path)
|
2000-02-02 11:10:15 -04:00
|
|
|
list.sort()
|
|
|
|
cache[path] = mtime, list
|
|
|
|
return list
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
opendir = listdir # XXX backward compatibility
|
|
|
|
|
2000-02-02 11:10:15 -04:00
|
|
|
def annotate(head, list):
|
|
|
|
"""Add '/' suffixes to directories."""
|
|
|
|
for i in range(len(list)):
|
|
|
|
if os.path.isdir(os.path.join(head, list[i])):
|
|
|
|
list[i] = list[i] + '/'
|