Openconnect 2.21 + different port + Network Manager

[Jussi Kukkonen]

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