Re: rpki-client: emit number of deleted files/dirs in JSON output

2021-04-08 Thread Claudio Jeker
On Thu, Apr 08, 2021 at 07:34:00PM +, Job Snijders wrote: > Hi all, > > The below patch exposes two metrics via JSON. This will remove the need > for some rpki-client affiniadios to screen scrape rpki-client's STDOUT. > > OK? > OK claudio@ > Index: output-json.c > =

rpki-client: emit number of deleted files/dirs in JSON output

2021-04-08 Thread Job Snijders
Hi all, The below patch exposes two metrics via JSON. This will remove the need for some rpki-client affiniadios to screen scrape rpki-client's STDOUT. OK? Kind regards, Job Index: output-json.c === RCS file: /cvs/src/usr.sbin/rpk