On Fri, Jan 10, 2014 at 04:06:11PM -0500, Tom Lane wrote:
> Bruce Momjian <bruce@momjian.us> writes:
> > On Tue, Jan 7, 2014 at 08:19:49AM -0500, Peter Eisentraut wrote:
> >> That was probably me. I'll look into it.
>
> > and in pg_log_v() I see:
>
> > switch (type)
> > ...
> > case PG_FATAL:
> > printf("\n%s", _(message));
> > printf("Failure, exiting\n");
> > --> exit(1);
> > break;
>
> Peter just fixed that; see commit ca607b155e86ce529fc9ac322a232f264cda9ab6
Oh, I guess I checked git log on the wrong file then. Thanks.
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ Everyone has their own god. +