Eric Sunshine writes:
> On Sun, Aug 18, 2013 at 3:41 PM, Thomas Gummerer wrote:
>> A partially read index file currently cannot be written to disk. Make
>> sure that never happens, by erroring out when a caller tries to write a
>
> s/,//
>
>> partially read index. Do the same when trying to re
On Sun, Aug 18, 2013 at 3:41 PM, Thomas Gummerer wrote:
> A partially read index file currently cannot be written to disk. Make
> sure that never happens, by erroring out when a caller tries to write a
s/,//
> partially read index. Do the same when trying to re-read a partially
> read index wi
A partially read index file currently cannot be written to disk. Make
sure that never happens, by erroring out when a caller tries to write a
partially read index. Do the same when trying to re-read a partially
read index without having discarded it first to avoid loosing any
information.
Forcin
3 matches
Mail list logo