[patch] known hosts with ports

[Wichert Akkerman]

Previously m.lavy wrote:
> I don't know if this is a problem that anyone else has faced, or if 
> attempting to solve it is a particularly good idea.

It's a common problem. I avoided the problem so far by adding
CNAMEs but this is definitely a better approach.

Wichert.

-- 
  _________________________________________________________________
 /       Nothing is fool-proof to a sufficiently talented fool     \
| wichert at wiggy.net                   http://www.liacs.nl/~wichert/ |
| 1024D/2FA3BC2D 576E 100B 518D 2F16 36B0  2805 3CB8 9250 2FA3 BC2D |