8f97e4e7e2
This provides a clear error in case the user doesn't have an internet connection at all, or something is so broken with their DNS or routing that they can't reach the server. I think this is better than waiting and retrying (silently) forever. If the first connection succeeds, but is then lost, subsequent retries occur without fanfare. closes #68 |
||
---|---|---|
.. | ||
__init__.py | ||
cli.py | ||
cmd_receive.py | ||
cmd_send.py | ||
cmd_ssh.py | ||
public_relay.py | ||
welcome.py |