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.
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
>
