Since r7265, a user could not launch a PuTTY session to a specific host by

[sgt/putty] / unix / uxputty.c

diff --git a/unix/uxputty.c b/unix/uxputty.c
index 0abc1ff..54e0d71 100644 (file)
--- a/unix/uxputty.c
+++ b/unix/uxputty.c
@@ -53,7 +53,7 @@ static int got_host = 0;
 
 const int use_event_log = 1, new_session = 1, saved_sessions = 1;
 
-int process_nonoption_arg(char *arg, Config *cfg)
+int process_nonoption_arg(char *arg, Config *cfg, int *allow_launch)
 {
     char *p, *q = arg;
 
@@ -104,6 +104,8 @@ int process_nonoption_arg(char *arg, Config *cfg)
         cfg->host[sizeof(cfg->host) - 1] = '\0';
         got_host = 1;
     }
+    if (got_host)
+       *allow_launch = TRUE;
     return 1;
 }