On Sun, 14 Jan 2001, Greg Stein wrote:

Not so small:

...

... *** 333,337 **** i = host.find(':') if i >= 0: ! port = int(host[i+1:]) host = host[:i] else: --- 333,340 ---- i = host.find(':') if i >= 0: ! try: ! port = int(host[i+1:]) ! except ValueError, msg: ! raise socket.error, str(msg) host = host[:i] else:

The above changes were not part of the patch i submitted; the patch i submitted was exactly a one-character change. Guido has already edited the file, so there's no need to commit anything further here. -- ?!ng

On Sun, 14 Jan 2001, Greg Stein wrote:

Not so small:

...

... *** 333,337 **** i = host.find(':') if i >= 0: ! port = int(host[i+1:]) host = host[:i] else: --- 333,340 ---- i = host.find(':') if i >= 0: ! try: ! port = int(host[i+1:]) ! except ValueError, msg: ! raise socket.error, str(msg) host = host[:i] else:

The above changes were not part of the patch i submitted; the patch i submitted was exactly a one-character change. Guido has already edited the file, so there's no need to commit anything further here. -- ?!ng