Added a comment.

[bookmarks_db.git] / Robots / parse_html_beautifulsoup.py

diff --git a/Robots/parse_html_beautifulsoup.py b/Robots/parse_html_beautifulsoup.py
index 5f010ad698e894e63d86515fa2a0111ad926da4d..d73e4c313a62a67570eb190dac14d5198499ef1b 100644 (file)
--- a/Robots/parse_html_beautifulsoup.py
+++ b/Robots/parse_html_beautifulsoup.py
@@ -55,7 +55,8 @@ def parse_html(filename, charset=None):
       root = BadDeclParser(infile, fromEncoding=charset)
    except TypeError:
       return None
-   infile.close()
+   finally:
+      infile.close()
 
    _charset = root.originalEncoding
    try: