diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-10-19 14:25:15 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-10-19 14:25:15 -0400 |
| commit | 5f835c769eb673b28d2d0211adfd6cbdf420b4bc (patch) | |
| tree | 96641ced75582a8b3ccde4a3d8af03eee725df15 /Annex/Journal.hs | |
| parent | 7723c5ea6a09233057813e7f7f582d4764e2b7ae (diff) | |
remove git-annex branch read cache
This cache prevented noticing changes made by another process.
The case I just ran into involved the assistant dropping a file, which
cached its presence info. Then the same file was downloaded again,
but the assistant didn't know its presence info had changed.
I don't see a way to keep this cache. Will instead rely on the OS level
file cache, for files in the journal. May need to add more higher-level
caching of info that it's ok to have a potentially stale copy of,
although much of git-annex already does so.
Diffstat (limited to 'Annex/Journal.hs')
| -rw-r--r-- | Annex/Journal.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Annex/Journal.hs b/Annex/Journal.hs index 4a56ce3e3..b6ed79272 100644 --- a/Annex/Journal.hs +++ b/Annex/Journal.hs @@ -1,4 +1,4 @@ -{- management of the git-annex journal and cache +{- management of the git-annex journal - - The journal is used to queue up changes before they are committed to the - git-annex branch. Amoung other things, it ensures that if git-annex is |