diff -r c7c4775a5619 -r 7b88d12b4ee2 devtools/htmlparser.py
--- 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