More old urllib usage.
diff --git a/Tools/webchecker/websucker.py b/Tools/webchecker/websucker.py
index e84238e..3bbdec3 100755
--- a/Tools/webchecker/websucker.py
+++ b/Tools/webchecker/websucker.py
@@ -6,8 +6,8 @@
import os
import sys
-import urllib
import getopt
+import urllib.parse
import webchecker
@@ -87,11 +87,11 @@
self.message("didn't save %s: %s", path, str(msg))
def savefilename(self, url):
- type, rest = urllib.splittype(url)
- host, path = urllib.splithost(rest)
+ type, rest = urllib.parse.splittype(url)
+ host, path = urllib.parse.splithost(rest)
path = path.lstrip("/")
- user, host = urllib.splituser(host)
- host, port = urllib.splitnport(host)
+ user, host = urllib.parse.splituser(host)
+ host, port = urllib.parse.splitnport(host)
host = host.lower()
if not path or path[-1] == "/":
path = path + "index.html"