Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> writes:
> Ah, so we keep the existing format but drop the pid, and just make it
> changable by the user, and we rename it. Doesn't sound as drastic as it
> first did.
Yeah, the only change in default behavior would be to drop the PID part
of the log filename, which doesn't seem too bad, since people aren't yet
depending on that.
regards, tom lane