ElementTidy often segfaults.

[bookmarks_db.git] / Robots / parse_html.py

diff --git a/Robots/parse_html.py b/Robots/parse_html.py
index a8c1d79329de5e5fbce6432ac3c168a655416e2a..cbb45d612f9b33699b6f2d0bbe397b11a3562fe1 100755 (executable)
--- a/Robots/parse_html.py
+++ b/Robots/parse_html.py
@@ -41,6 +41,13 @@ except ImportError:
 else:
    parsers.append(parse_html_html5.parse_html)
 
+# ElementTidy often segfaults
+#try:
+#   import parse_html_etreetidy
+#except ImportError:
+#   pass
+#else:
+#   parsers.append(parse_html_etreetidy.parse_html)
 
 import re
 from htmlentitydefs import name2codepoint