| commit | c59a5d449f6d0c91ec114ff0c3ca97afeb37e05c | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Jan 30 06:04:00 1997 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Jan 30 06:04:00 1997 +0000 |
| tree | 3b320f9d156d12581a775a1ac6c7693c950ad795 | |
| parent | 2739cd74b3c2221c7f77f274027650dc272b386f [diff] |
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().