keithw/mosh — pull request #5 by andersk (2012-02-08 20:48:27+00:00)
Title: scripts/mosh: Get the server IP from ssh

We get the server IP as seen from the client side using the ssh
ProxyCommand option, and as seen from the server side using the
SSH_CONNECTION environment variable.

Signed-off-by: Anders Kaseorg