diff options
author | 2014-08-01 18:00:47 -0400 | |
---|---|---|
committer | 2014-08-01 18:00:47 -0400 | |
commit | ddbf5df3c9940473663a6e562f8ee3583867046e (patch) | |
tree | 40dc81d0c2693b5fd5fc3e5b9cd8df17e0505ec5 /Backend/WORM.hs | |
parent | 154cb13180fbe877d2030d83a415b30150ac7298 (diff) | |
parent | d0a8e3d6217f2924b864393d425b6d7582370d07 (diff) |
Merge branch 'newchunks'
I am happy enough with this to make it live!
Diffstat (limited to 'Backend/WORM.hs')
-rw-r--r-- | Backend/WORM.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Backend/WORM.hs b/Backend/WORM.hs index fdeea6f89..c972602ad 100644 --- a/Backend/WORM.hs +++ b/Backend/WORM.hs @@ -23,6 +23,7 @@ backend = Backend , fsckKey = Nothing , canUpgradeKey = Nothing , fastMigrate = Nothing + , isStableKey = const True } {- The key includes the file size, modification time, and the |