| """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] + '/' |