Factor out all local SSH disconnections into a new function ssh_disconnect(),
[u/mdw/putty] / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 5318 kh2reg.py