David Johnston wrote
>
> Jeff Janes wrote
>> On Sun, Nov 17, 2013 at 11:12 PM, David Johnston <
>> polobo@
>> > wrote:
>>
>>> Having recently had a pg_dump error out due to not having enough disk it
>>> occurs to me that it would be nice for pg_dump to remove the partial
>>> dump
>>> file it wa
Jeff Janes wrote
> On Sun, Nov 17, 2013 at 11:12 PM, David Johnston <
> polobo@
> > wrote:
>
>> Having recently had a pg_dump error out due to not having enough disk it
>> occurs to me that it would be nice for pg_dump to remove the partial dump
>> file it was creating (if possible/known) instea
On Sun, Nov 17, 2013 at 11:12 PM, David Johnston wrote:
> Having recently had a pg_dump error out due to not having enough disk it
> occurs to me that it would be nice for pg_dump to remove the partial dump
> file it was creating (if possible/known) instead of having it sit around
> taking up tha
