On Sat, Nov 02, 2024 at 01:07:20PM +0100, Theo Buehler wrote:
> On Sat, Nov 02, 2024 at 11:56:00AM +0000, Job Snijders wrote:
> > The below patch emits a warning per manifest, adds metrics to the
> > openmetrics output, and displays a summary at the end of the run.
> 
> I do wonder if we don't want to hide the warning under -v. But as you
> say, perhaps that encourages continuous frequent running of
> rpki-client.  We can reconsider this after seeing how it works in
> practice.

Yup, I started out hiding it under verbose, but then theorized the gaps
perhaps don't happen so often that it is too noisey... And in order to
do correlation it perhaps is nice to know *which* Manifest had a gap. :)

let's see what happens in practise.

Kind regards,

Job