The other utilities should do the same processing of the hostname
[u/mdw/putty] / sshdssg.c
2001-09-22 simonArrgh, there's always one. Actually check in the extra...