diff options
author | Joey Hess <joey@kitenet.net> | 2012-06-12 16:24:19 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-06-12 16:25:56 -0400 |
commit | cb2255e93aa30425da3213b742745832a0067622 (patch) | |
tree | 964d268d5de3b7d280b007738c232cbb07704d6b /Command/Watch.hs | |
parent | b240418acc99d5cacc2fdcfe655979517eda9fd4 (diff) |
do fewer commits during long batch jobs
10 thousand queue size does not use appreciable memory in my testing.
Diffstat (limited to 'Command/Watch.hs')
-rw-r--r-- | Command/Watch.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Command/Watch.hs b/Command/Watch.hs index 26875b9a7..8b4e1b65c 100644 --- a/Command/Watch.hs +++ b/Command/Watch.hs @@ -359,7 +359,7 @@ commitStaged = do shouldCommit :: UTCTime -> [Change] -> Bool shouldCommit now changes | len == 0 = False - | len > 4096 = True -- avoid bloating queue too much + | len > 10000 = True -- avoid bloating queue too much | length (filter thisSecond changes) < 10 = True | otherwise = False -- batch activity where |