Apply diff.txt from SF patch http://www.python.org/sf/561478

This uses cgi.parse_header() in Checker.checkforhtml(), so that
webchecker recognises the mime type text/html even if options
are specified.

diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py
index 470b15a101a4cb964a2018eedb7a283253a66218..fa70f6575e9ff6a681a525663439bc0e08a85de6 100755 (executable)
--- a/Tools/webchecker/webchecker.py
+++ b/Tools/webchecker/webchecker.py
@@ -117,6 +117,7 @@ import pickle
 import urllib
 import urlparse
 import sgmllib
+import cgi
 
 import mimetypes
 import robotparser
@@ -543,7 +544,7 @@ class Checker:
 
     def checkforhtml(self, info, url):
         if info.has_key('content-type'):
-            ctype = string.lower(info['content-type'])
+            ctype = string.lower(cgi.parse_header(info['content-type'])[0])
         else:
             if url[-1:] == "/":
                 return 1