Re: [PATCH v3 10/24] make sure partially read index is not changed

2013-08-20 Thread Thomas Gummerer
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

Re: [PATCH v3 10/24] make sure partially read index is not changed

2013-08-18 Thread Eric Sunshine
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

[PATCH v3 10/24] make sure partially read index is not changed

2013-08-18 Thread Thomas Gummerer
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