summaryrefslogtreecommitdiff
path: root/Git
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-06-14 14:34:24 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-06-14 14:34:24 -0400
commita1126e1c5452a66915ace73e74ebc12d0589e559 (patch)
tree4c53e209907c97d17c5216d46584330ce0248be9 /Git
parent276a31252e39523a84ad213c822b1cd014e213db (diff)
Revert "flush stream after each write to update-index, to possibly avoid buffering issues on Windows"
Didn't help.
Diffstat (limited to 'Git')
-rw-r--r--Git/UpdateIndex.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/Git/UpdateIndex.hs b/Git/UpdateIndex.hs
index 76fe0cce9..5d07e2011 100644
--- a/Git/UpdateIndex.hs
+++ b/Git/UpdateIndex.hs
@@ -44,7 +44,6 @@ streamUpdateIndex repo as = pipeWrite params repo $ \h -> do
streamer h s = do
hPutStr h s
hPutStr h "\0"
- hFlush h
{- A streamer that adds the current tree for a ref. Useful for eg, copying
- and modifying branches. -}