diff options
author | Simon Schampijer <simon@schampijer.de> | 2008-07-21 18:49:25 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@schampijer.de> | 2008-07-21 18:49:25 (GMT) |
commit | 550ea94aeebe21bcf3e991de8f9eeb4103939734 (patch) | |
tree | eee203e9c49d8d49b5ede6aa440b35dc335082da | |
parent | 9afbf7e567ff602f0137f2d369f16afc79b154d8 (diff) |
filepicker: fix cleanup #7564
Remove file from list of files to delete after deleting it
-rw-r--r-- | filepicker.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/filepicker.py b/filepicker.py index fe9fec5..a38de9a 100644 --- a/filepicker.py +++ b/filepicker.py @@ -33,8 +33,12 @@ _browser_window = None def cleanup_temp_files(): for temp_file in _temp_files_to_clean: - logging.debug('filepicker.cleanup_temp_files: %r' % temp_file) - os.remove(temp_file) + if os.path.exists(temp_file): + os.remove(temp_file) + _temp_files_to_clean.remove(temp_file) + else: + logging.debug('filepicker.cleanup_temp_files: no file %r' + % temp_file) class FilePicker: _com_interfaces_ = interfaces.nsIFilePicker |