Do not free the index if it's owned by a repository

Signed-off-by: Vicent Marti <tanoku@gmail.com>
This commit is contained in:
Vicent Marti 2011-02-28 16:54:13 +02:00
parent 48c27f86bb
commit 971c90befe

View File

@ -166,7 +166,7 @@ int git_index_open_inrepo(git_index **index_out, git_repository *repo)
void git_index_free(git_index *index)
{
if (index == NULL)
if (index == NULL || index->repository != NULL)
return;
git_index_clear(index);