tree 3b320f9d156d12581a775a1ac6c7693c950ad795
parent 2739cd74b3c2221c7f77f274027650dc272b386f
author Guido van Rossum <guido@python.org> 854604240 +0000
committer Guido van Rossum <guido@python.org> 854604240 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%407544

Set proper User-agent header (Python-webchecker/<version>).

When -x is combined with -q, still do the checking, but don't print
the error in this phase -- they are reported by report_errors().