Fix for a bug in the fix for SF bug 503031. This time the OP verified

that it works.

Bugfix candidate (this and the previous checkin, obviously).
This commit is contained in:
Guido van Rossum 2002-04-02 14:38:16 +00:00
parent 45afd54c8f
commit 64e5aa9391
1 changed files with 2 additions and 2 deletions

View File

@ -1279,8 +1279,8 @@ elif os.name == 'nt':
for p in proxyServer.split(';'): for p in proxyServer.split(';'):
protocol, address = p.split('=', 1) protocol, address = p.split('=', 1)
# See if address has a type:// prefix # See if address has a type:// prefix
type, address = splittype(address) import re
if not type: if not re.match('^([^/:]+)://', address):
address = '%s://%s' % (protocol, address) address = '%s://%s' % (protocol, address)
proxies[protocol] = address proxies[protocol] = address
else: else: