home *** CD-ROM | disk | FTP | other *** search
- # Module 'dircache'
- #
- # Return a sorted list of the files in a directory, using a cache
- # to avoid reading the directory more often than necessary.
- # Also contains a subroutine to append slashes to directories.
-
- import os
-
- cache = {}
-
- def listdir(path): # List directory contents, using cache
- try:
- cached_mtime, list = cache[path]
- del cache[path]
- except KeyError:
- cached_mtime, list = -1, []
- try:
- mtime = os.stat(path)[8]
- except os.error:
- return []
- if mtime <> cached_mtime:
- try:
- list = os.listdir(path)
- except os.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)):
- if os.path.isdir(os.path.join(head, list[i])):
- list[i] = list[i] + '/'
-