1990-10-13 16:23:40 -03:00
|
|
|
# Module 'dircache'
|
|
|
|
#
|
|
|
|
# Return a sorted list of the files in a POSIX directory, using a cache
|
|
|
|
# to avoid reading the directory more often than necessary.
|
|
|
|
# Also contains a subroutine to append slashes to directories.
|
|
|
|
|
|
|
|
import posix
|
|
|
|
import path
|
|
|
|
|
|
|
|
cache = {}
|
|
|
|
|
|
|
|
def listdir(path): # List directory contents, using cache
|
|
|
|
try:
|
|
|
|
cached_mtime, list = cache[path]
|
|
|
|
del cache[path]
|
|
|
|
except RuntimeError:
|
|
|
|
cached_mtime, list = -1, []
|
|
|
|
try:
|
|
|
|
mtime = posix.stat(path)[8]
|
|
|
|
except posix.error:
|
|
|
|
return []
|
|
|
|
if mtime <> cached_mtime:
|
|
|
|
try:
|
|
|
|
list = posix.listdir(path)
|
|
|
|
except posix.error:
|
|
|
|
return []
|
|
|
|
list.sort()
|
|
|
|
cache[path] = mtime, list
|
|
|
|
return list
|
|
|
|
|
|
|
|
opendir = listdir # XXX backward compatibility
|
|
|
|
|
|
|
|
def annotate(head, list): # Add '/' suffixes to directories
|
|
|
|
for i in range(len(list)):
|
1991-08-16 10:28:23 -03:00
|
|
|
if path.isdir(path.join(head, list[i])):
|
1990-10-13 16:23:40 -03:00
|
|
|
list[i] = list[i] + '/'
|