On 2020-04-02 14:55:19 -0400, Robert Haas wrote: > > Yes, I am asking for something to be changed: I'd like the code that > > read()s the file when computing the checksum to add up how many bytes > > were read, and compare that to the size in the manifest. And if there's > > a difference report an error about that, instead of a checksum failure. > > > > I've repeatedly seen filesystem issues lead to to earlier EOFs when > > read()ing than what stat() returns. It'll be pretty annoying to have to > > debug a general "checksum failure", rather than just knowing that > > reading stopped after 100MB of 1GB. > > Is 0004 attached like what you have in mind?
Yes. Thanks! - Andres