[Python-Dev] When to use EOFError?

[Greg Ewing]

Nikolaus Rath wrote:
> I think EOFError conveys more information. UnpicklingError can mean a
> lot of things, EOFError tells you the precise problem: pickle expected
> more data, but there was nothing left.

I think EOFError should be used for EOF between pickles,
but UnpicklingError should be used for EOF in the middle of
a pickle. The former is not necessarily an error, but the
latter definitely is.

-- 
Greg