If the SSH server sends us CHANNEL_CLOSE for a channel on which we're
[u/mdw/putty] / noprint.c
2005-12-09 simonA few small changes to make the PuTTY source base more...