ssh_do_close() was only closing about half the channels. Fixed.
[sgt/putty] / pinger.c
2004-11-27 simonNew timing infrastructure. There's a new function sched...