ssh_do_close() was only closing about half the channels. Fixed.
[sgt/putty] / sshdssg.c
2001-09-22 simonArrgh, there's always one. Actually check in the extra...