diff options
author | Avery Pennarun <apenwarr@gmail.com> | 2010-10-01 10:34:20 -0700 |
---|---|---|
committer | Avery Pennarun <apenwarr@gmail.com> | 2010-10-01 10:34:20 -0700 |
commit | 76bbbfd67b14ae8f6541ba1fc321f27f359362c6 (patch) | |
tree | ff3594101d77f0accc634f7d78075608c2bae141 | |
parent | 6e336c09bf04bc4e3e3bc0f34154ac0a31ab4e1a (diff) |
Catch the exception thrown when ssh can't connect.
Easiest test: give it an invalid hostname.
Reported by Chetan Kunte.
-rw-r--r-- | client.py | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -100,7 +100,13 @@ def _main(listener, fw, use_server, remotename, python, seed_hosts, auto_nets): else: helpers.logprefix = 'client: ' debug1('connecting to server...\n') - (serverproc, serversock) = ssh.connect(remotename, python) + try: + (serverproc, serversock) = ssh.connect(remotename, python) + except socket.error, e: + if e.errno == errno.EPIPE: + raise Fatal("failed to establish ssh session") + else: + raise mux = Mux(serversock, serversock) handlers.append(mux) |