| commit | 5be8aed2b75b428139a4aaefe4b0b89439c07e66 | |
| author | Pieter de Bie <pdebie@ai.rug.nl> | |
| Thu, 1 Oct 2009 19:17:32 +0000 (1 21:17 +0200) | ||
| committer | Pieter de Bie <pdebie@ai.rug.nl> | |
| Thu, 1 Oct 2009 19:17:32 +0000 (1 21:17 +0200) | ||
| tree | 06d73ccfd58e981e921b982d164989e947d291bc | treesnapshot (tar.gz zip) |
| parent | ce89e0f4684d4c6eea1fd87e99bfe8b9560344e5 | commitdiff |
GitIndex: increase refreshStatus before launching task
We used to increase this variable after
handing it over to the [handle readToEndOfFileInBackgroundAndNotify],
but sometimes a task would quit before getting to that point, causing
a premature index refresh event to be called.
We used to increase this variable after
handing it over to the [handle readToEndOfFileInBackgroundAndNotify],
but sometimes a task would quit before getting to that point, causing
a premature index refresh event to be called.
| PBGitIndex.m | diffblobblamehistory |