diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-03-21 14:24:55 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-03-21 14:24:55 -0700 |
| commit | e0092a687d3f62ff4dccda1ef628a4284aa878ca (patch) | |
| tree | d8112b04828167936da9f0818b090d9502d09859 /tools/shared.py | |
| parent | 0a169e141b51b2c0da7650bdc395dc4ca2068401 (diff) | |
fix some bugs with preloading of entire directories
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 8c968698..61ec912e 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -190,7 +190,10 @@ def try_delete(filename): try: os.unlink(filename) except: - pass + try: + shutil.rmtree(filename) + except: + pass class TempFiles: def __init__(self): |