Re: missing history file

"Simon Riggs" <simon@2ndquadrant.com> writes:
> Just ignore 00000001. Recovery will work fine even if absent. Don't
> ignore all history files though, just that one. Hmmm, come to think of
> it, why is it requesting it at all? We should just skip that request.

No, because then people would misdesign their recovery scripts to not
be able to deal with not finding a history file.  As things are, they
will certainly be exposed to that case in any testing they do.  If we
optimize this call away, then they won't see the case until they're in
very deep doo-doo.

            regards, tom lane