This commit is contained in:
Kovid Goyal 2007-11-27 16:52:59 +00:00
parent 5d7ef03701
commit 6052670aa4

View File

@ -91,7 +91,10 @@ def process_file(path, options, logger=None):
html_process_file(htmlfile, options, logger=logger) html_process_file(htmlfile, options, logger=logger)
finally: finally:
try:
shutil.rmtree(tdir) shutil.rmtree(tdir)
except:
logger.warning('Failed to delete temporary directory '+tdir)
def main(args=sys.argv, logger=None): def main(args=sys.argv, logger=None):