ElementTidy often segfaults.

git-svn-id: file:///home/phd/archive/SVN/bookmarks_db/trunk@308 fdd5c36f-1aea-0310-aeeb-c58d7e2b6c23

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