Factor out all local SSH disconnections into a new function ssh_disconnect(),
[u/mdw/putty] / mkauto.sh
2005-04-25 benMove generation of the "configure" script into its...