tomaswolf commented on issue #281: URL: https://github.com/apache/mina-sshd/issues/281#issuecomment-1343309000
Agreed. The fix should probably be in `SshClient.resolveHost()`. All three fields (user, host, and port) need to be handled. In JGit we do: * If a username is given and not empty, use that instead of whatever the config says. If both the parameter and the config give no user name, use the Java system property "user.name". * If a port is given and >= 0, use that instead of whatever the config says. * If "HostName" is not set in the config, set it to the given host. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@mina.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@mina.apache.org For additional commands, e-mail: dev-h...@mina.apache.org
