python-2.5.2/win32/Lib/dircache.py
changeset 0 ae805ac0140d
equal deleted inserted replaced
-1:000000000000 0:ae805ac0140d
       
     1 """Read and cache directory listings.
       
     2 
       
     3 The listdir() routine returns a sorted list of the files in a directory,
       
     4 using a cache to avoid reading the directory more often than necessary.
       
     5 The annotate() routine appends slashes to directories."""
       
     6 
       
     7 import os
       
     8 
       
     9 __all__ = ["listdir", "opendir", "annotate", "reset"]
       
    10 
       
    11 cache = {}
       
    12 
       
    13 def reset():
       
    14     """Reset the cache completely."""
       
    15     global cache
       
    16     cache = {}
       
    17 
       
    18 def listdir(path):
       
    19     """List directory contents, using cache."""
       
    20     try:
       
    21         cached_mtime, list = cache[path]
       
    22         del cache[path]
       
    23     except KeyError:
       
    24         cached_mtime, list = -1, []
       
    25     mtime = os.stat(path).st_mtime
       
    26     if mtime != cached_mtime:
       
    27         list = os.listdir(path)
       
    28         list.sort()
       
    29     cache[path] = mtime, list
       
    30     return list
       
    31 
       
    32 opendir = listdir # XXX backward compatibility
       
    33 
       
    34 def annotate(head, list):
       
    35     """Add '/' suffixes to directories."""
       
    36     for i in range(len(list)):
       
    37         if os.path.isdir(os.path.join(head, list[i])):
       
    38             list[i] = list[i] + '/'