summaryrefslogtreecommitdiff
path: root/Git
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-06-14 14:25:17 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-06-14 14:25:17 -0400
commitc82c4a8020acbe682d952f1c719ff309ff05179c (patch)
tree4e122e52184c7d2ddf752cc7b779ba41229f58d0 /Git
parent2a9d470ac4861bc2374beaea1d41780ccd042a8c (diff)
flush stream after each write to update-index, to possibly avoid buffering issues on Windows
Diffstat (limited to 'Git')
-rw-r--r--Git/UpdateIndex.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Git/UpdateIndex.hs b/Git/UpdateIndex.hs
index 5d07e2011..76fe0cce9 100644
--- a/Git/UpdateIndex.hs
+++ b/Git/UpdateIndex.hs
@@ -44,6 +44,7 @@ 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. -}