[PATCH] mandos-keygen: compatibility with ssh servers using non-default port

[Lau Zing]

Hi,

Attached is a patch that allows mandos-keygen (and ssh-keyscan checker) to
work with ssh servers using ports other than the default 22, which is
specified using new command line argument -P PORT or --ssh-port PORT.

ZL
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.recompile.se/pipermail/mandos-dev/attachments/20190918/9d049732/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mandos-keygen_ssh_port.diff
Type: application/octet-stream
Size: 3166 bytes
Desc: not available
URL: <http://mail.recompile.se/pipermail/mandos-dev/attachments/20190918/9d049732/attachment.obj>