[PATCH] RPKI: Display cache server port on show protocol

[Ondrej Zajicek]

On Mon, May 09, 2022 at 08:21:27PM +0200, Luiz Amaral wrote:
> Hello,
> 
> Recently I needed to check the address and port for my cache server,
> only to find out that the "show protocol all rpki1" output omitted the port.
> 
> This small patch appends the port after the cache server address on the
> show protocol all output.

Hello

Meged with changes. I printed it as a separate line ("Cache port")
to better compatibility and also parsing when cache server is just
IPv6 address, and print it only if different than default.

-- 
Elen sila lumenn' omentielvo

Ondrej 'Santiago' Zajicek (email: santiago at crfreenet.org)
OpenPGP encrypted e-mails preferred (KeyID 0x11DEADC3, wwwkeys.pgp.net)
"To err is human -- to blame it on a computer is even more so."