Name the server on timeout banner

[tansly]

Fixes #1049.

Shows the server's IP address on the timeout banner.

I can improve this if necessary. A thing that crosses my mind:

• This still can be confusing for the user because the user may have started mosh using a domain name thus does not necessarily know the IP address of the server. For better UX, I may try to display what the user gave as an argument when starting mosh. But this may be a problem if the hostname is overly long and does not fit in the banner.

[tansly]

Fixed errors in CI.

Edit: Apparently not. Something strange is going on: OSX tests fail but it seems totally unrelated; because on all of my other pushes the Linux build failed but the OSX build passed.

Here, Linux build fails but OSX passes: https://travis-ci.org/mobile-shell/mosh/builds/559884676. The commit is 39aa6be.
But here, Linux build passes but OSX build fails: https://travis-ci.org/mobile-shell/mosh/builds/559885685. The commit is e2f9d06.
The difference between these commits is here: https://github.com/mobile-shell/mosh/compare/39aa6be8cd0d309ee435dc003aa4fe61edb53b00..e2f9d06ec976f6269d96936b0992e6b2b0c03db4

Edit2: Build passes now, without changing anything.

[Kriechi]

@andersk @cgull anything holding this PR back?

[daonb]

Hi all, I'm new here. Started using blink on an iPad and fell in love with mosh. I've been using two server: a local one in TLV and one from my client in us-east-1 and mosh just works.

My two cents is that the code looks good, but it has no tests. Probably because this message is not covered in the current e2e tests. Could be a good time to add this test case.

[tansly]

Hi all, I'm new here. Started using blink on an iPad and fell in love with mosh. I've been using two server: a local one in TLV and one from my client in us-east-1 and mosh just works.

My two cents is that the code looks good, but it has no tests. Probably because this message is not covered in the current e2e tests. Could be a good time to add this test case.

Hi @daonb, I would work on it but the latest commit to this repo is about 10 months ago. I’m not sure that it is active right now. I’m holding this until there is some activity.