blob: 0aff359273f9bfc3eb2a01fc604e57eac6e6c77b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
--- Lib/urllib.py.orig Sat Apr 11 03:18:35 1998
+++ Lib/urllib.py Wed May 6 23:26:57 1998
@@ -221,6 +221,7 @@
else:
host, selector = url
urltype, rest = splittype(selector)
+ url = rest
user_passwd = None
if string.lower(urltype) != 'http':
realhost = None
@@ -455,8 +456,8 @@
user, passwd = self.get_user_passwd(host, realm, i)
if not (user or passwd): return None
host = user + ':' + passwd + '@' + host
- newurl = '//' + host + selector
- return self.open_http(newurl)
+ newurl = 'http://' + host + selector
+ return self.open(newurl)
def get_user_passwd(self, host, realm, clear_cache = 0):
key = realm + '@' + string.lower(host)
|
