From a1126e1c5452a66915ace73e74ebc12d0589e559 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 14 Jun 2013 14:34:24 -0400 Subject: Revert "flush stream after each write to update-index, to possibly avoid buffering issues on Windows" Didn't help. --- Git/UpdateIndex.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'Git') 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. -} -- cgit v1.2.3