Emit an integer instead of a string in JSON output
authorjob <job@openbsd.org>
Wed, 5 May 2021 17:25:44 +0000 (17:25 +0000)
committerjob <job@openbsd.org>
Wed, 5 May 2021 17:25:44 +0000 (17:25 +0000)
commit8828c1b7c6b0fb2f84feb4c77ed07bb175fb69c5
treeb5ed436ee367aa3198c04b24bef2f1e9ce5aabf8
parente96c3b7305ff3c5ad524adc1036137ca5c0e20fb
Emit an integer instead of a string in JSON output

We added the "AS123" format because this is what the other tools did
and there was the goal to have equal output. However, many in the
community have voiced complaints about having to do string conversions.

OK deraadt@ claudio@
usr.sbin/rpki-client/output-json.c