Ondrej Zajicek (work) 17663b6a7c RPKI: Remove port (and SSH username) from 'Cache server' output line
It was mixed-up if hostname is IPv6 address, and reporting separate
values (like port) on separate lines fits better into key-value style
of 'show protocols all' output. Also, the patch simplifies transport
identification formatting (although it is unused now).

Thanks to Alarig Le Lay for the suggestion.
2021-01-07 06:04:31 +01:00
..
2020-11-24 03:21:44 +01:00
2020-04-09 15:37:14 +02:00
2020-11-24 03:21:44 +01:00
2020-12-07 22:19:40 +01:00