keithw/mosh — pull request #417 by pcc (2013-04-15 08:20:41+00:00)
Title: Provide an alternative mechanism for extracting the server IP address

On some installations of ssh, overriding ProxyCommand is forbidden,
which means that the fake proxy won't work. Instead, have mosh-server
report the local address in SSH_CONNECTION, which will be used if
the fake proxy doesn't report an address.