From d4ce0d4f4f87017611e483b1437d29803b26e26b Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <andersk@mit.edu>
Date: Sat, 2 Dec 2017 22:57:18 -0500
Subject: [PATCH] mosh.pl: Allow shell expansion of --server with --local

Fixes #946, matching the behavior of --server without --local.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
 scripts/mosh.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mosh.pl b/scripts/mosh.pl
index bd04565..56e96d7 100755
--- a/scripts/mosh.pl
+++ b/scripts/mosh.pl
@@ -396,7 +396,7 @@ if ( $pid == 0 ) { # child
     delete $ENV{ 'SSH_CONNECTION' };
     chdir; # $HOME
     print "MOSH IP ${userhost}\n";
-    exec( $server, @server );
+    exec( "$server " . shell_quote( @server ) );
     die "Cannot exec $server: $!\n";
   }
   if ( $use_remote_ip eq 'proxy' ) {