ssh_do_close() was only closing about half the channels. Fixed.
[sgt/putty] / notiming.c
2004-11-28 simonOops; forgot to add this file in r4913.