ssh_do_close() was only closing about half the channels. Fixed.
[sgt/putty] / resource.h
1999-01-08 simonInitial checkin: beta 0.43