problem with getaddrinfo

[David Woodhouse]

On Sat, 2010-04-03 at 13:04 +0200, Andrea Gamba wrote:
> getaddrinfo failed: Name or service not known
> Failed to open HTTPS connection to medea.ircc.unito.it:443 

Now I'm home and at a real computer, I can confirm that this was fixed
in v2.20, released on January 4th. The precise commit is
http://git.infradead.org/users/dwmw2/openconnect.git/commitdiff/f3698c26

The problem was that it wasn't attempting to parse the port number at
all, and was hence trying to do a DNS lookup for the host name
'media.ircc.unito.it:443', including the colon and the digits. Which
obviously fails.

-- 
David Woodhouse                            Open Source Technology Centre
David.Woodhouse at intel.com                              Intel Corporation