devtools/htmlparser.py
changeset 3369 7b88d12b4ee2
parent 3163 edfe43ceaa35
parent 3325 44caeccd2db9
child 4252 6c4f109c2b03
--- a/devtools/htmlparser.py	Thu Sep 17 15:52:46 2009 +0200
+++ b/devtools/htmlparser.py	Tue Sep 22 12:11:12 2009 +0200
@@ -7,6 +7,7 @@
 """
 
 import re
+import sys
 
 from lxml import etree