Factor out all local SSH disconnections into a new function ssh_disconnect(),
[u/mdw/putty] / notiming.c
2004-11-28 simonOops; forgot to add this file in r4913.