On Thu, Oct 28, 2021 at 08:27:40PM +0200, Theo Buehler wrote:
> On Thu, Oct 28, 2021 at 08:21:12PM +0200, Claudio Jeker wrote:
> > As in $SUBJECT said, sync the output at the end of a rpki-client run with
> > outputheader() -- the function used to dump this info into the openbgpd
> > output file.
> >
> > OK?
> > --
> > :wq Claudio
> >
> > Index: main.c
> > ===================================================================
> > RCS file: /cvs/src/usr.sbin/rpki-client/main.c,v
> > retrieving revision 1.156
> > diff -u -p -r1.156 main.c
> > --- main.c 26 Oct 2021 16:59:19 -0000 1.156
> > +++ main.c 28 Oct 2021 13:52:27 -0000
> > @@ -1173,8 +1173,13 @@ main(int argc, char *argv[])
> > rc = 1;
> >
> >
> > + logx("Processing time %lld seconds (%lld seconds user, "
> > + "%lld seconds system)", stats.elapsed_time.tv_sec,
> > + stats.user_time.tv_sec, stats.system_time.tv_sec);
>
> This needs (long long) casts for -portable on systems with 32 bit time_t
> (the other output functions also have them).
>
> otherwise ok
>
Indeed, will fix and then commit.
--
:wq Claudio
