Since r7265, a user could not launch a PuTTY session to a specific host by
[sgt/putty] / noprint.c
2005-12-09 simonA few small changes to make the PuTTY source base more...