Factor out all local SSH disconnections into a new function ssh_disconnect(),
[u/mdw/putty] / pinger.c
2004-11-27 simonNew timing infrastructure. There's a new function sched...