David Woodhouse wrote: > On Mon, 2010-02-22 at 12:31 +0100, Charles Bovy wrote: >> The second problem arose when trying to use Network Manager. >> Network-Manager plugin does not accept a hostname with a port-number. >> nm-openconnect-auth-dialog tries to resolve "host:10000" instead of >> "host", and fails. >> Probably the function parse_url is required in nm-openconnect-auth-dialog? >> I don't have a clue how to fix that, but I managed to get around to >> completely replace port 443 by 10000 in all sources. > > Yes, you're right. Realistically speaking, I'm not likely to get to that > before Friday -- and then I'll be away for two weeks. If anyone (jku?) > feels like looking at this, it would be much appreciated. I'm not totally sure I understood the situation, but I think this should do it. Please test. - Jussi