Factor out all local SSH disconnections into a new function ssh_disconnect(),
[u/mdw/putty] / LATEST.VER
1 0.58