Re: Monitoring roles patch

* Peter Eisentraut (peter(dot)eisentraut(at)2ndquadrant(dot)com) wrote:
> On 3/28/17 12:19, Dave Page wrote:
> > On Tue, Mar 28, 2017 at 11:39 AM, Peter Eisentraut
> > <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> >> On 3/28/17 11:34, Dave Page wrote:
> >>> On Tue, Mar 28, 2017 at 11:31 AM, Peter Eisentraut
> >>> <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> >>>> This patch touches the pg_buffercache and pg_freespacemap extensions,
> >>>> but there appear to be some files missing.
> >>>
> >>> Are you looking at an old version? There was one where I forgot to add
> >>> some files, but that was fixed within an hour or so in a new version.
> >>
> >> What is the name and date or your latest patch?
> >
> > pg_monitor_v4.diff, 23rd March.
>
> That is the patch I was looking at, and it's the one that is missing files.

Dave's currently hacking on a new patch based on our discussion, so I'd
suggest waiting another hour or so anyway until he's done.

Might be a bit longer as he's trying to do it in a hallway at
PGConf.US...

Thanks!

Stephen