From 568f7d9b965e2a42b9aa27a4fb56428965fdd4b6 Mon Sep 17 00:00:00 2001 From: Keith Winstein Date: Tue, 6 Mar 2012 17:43:33 -0500 Subject: [PATCH] Clearer error message on missing MOSH IP (fixed #33 github issue) --- scripts/mosh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/mosh b/scripts/mosh index 6ca7a27..8f14abe 100755 --- a/scripts/mosh +++ b/scripts/mosh @@ -154,7 +154,11 @@ if ( $pid == 0 ) { # child } waitpid $pid, 0; - if ( not defined $ip or not defined $port ) { + if ( not defined $ip ) { + die "$0: Did not find remote IP address (is SSH ProxyCommand disabled?).\n"; + } + + if ( not defined $key or not defined $port ) { die "$0: Did not find mosh server startup message.\n"; }