On Tue, Feb 6, 2018 at 3:53 PM, Robert Haas <robertmh...@gmail.com> wrote: > On Tue, Feb 6, 2018 at 2:11 PM, Tom Lane <t...@sss.pgh.pa.us> wrote: >> Robert Haas <robertmh...@gmail.com> writes: >>> Unfortunately valgrind does not work at all on my laptop -- the server >>> appears to start, but as soon as you try to connect, the whole thing >>> dies with an error claiming that the startup process has failed. So I >>> can't easily test this at the moment. I'll try to get it working, >>> here or elsewhere, but thought I'd send the above reply first. >> >> Do you want somebody who does have a working valgrind installation >> (ie me) to take responsibility for pushing this patch? > > I committed it before seeing this. It probably would've been better > if you had done it, but I assume Peter tested it, so let's see what > the BF thinks.
skink and lousyjack seem happy now, so I think it worked. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company