flush stream after each write to update-index, to possibly avoid buffering issues on Windows

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. -}