Reset head tree cache

https://bugzilla.gnome.org/show_bug.cgi?id=728208
This commit is contained in:
Jesse van den Kieboom 2014-06-25 14:50:41 +02:00
parent 7e01fe9d60
commit 2904a38928

View file

@ -103,6 +103,8 @@ public class Stage : Object
public async void refresh() throws Error
{
d_head_tree = null;
yield thread_index((index) => {
index.read(false);
});
@ -492,6 +494,8 @@ public class Stage : Object
} catch {}
}
d_head_tree = null;
// run post commit
post_commit_hook(author);
});