Re: [PATCH 06/22] make sure partially read index is not changed

2013-07-08 Thread Thomas Gummerer
Junio C Hamano writes: > Thomas Gummerer writes: > >> A partially read index file currently cannot be written to disk. Make >> sure that never happens, by re-reading the index file if the index file >> wasn't read completely before changing the in-memory index. > > I am not quite sure what you

Re: [PATCH 06/22] make sure partially read index is not changed

2013-07-08 Thread Junio C Hamano
Thomas Gummerer writes: > A partially read index file currently cannot be written to disk. Make > sure that never happens, by re-reading the index file if the index file > wasn't read completely before changing the in-memory index. I am not quite sure what you are trying to do. In operations