diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-06-14 14:34:24 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-06-14 14:34:24 -0400 |
| commit | a1126e1c5452a66915ace73e74ebc12d0589e559 (patch) | |
| tree | 4c53e209907c97d17c5216d46584330ce0248be9 /Git/UpdateIndex.hs | |
| parent | 276a31252e39523a84ad213c822b1cd014e213db (diff) | |
Revert "flush stream after each write to update-index, to possibly avoid buffering issues on Windows"
Didn't help.
Diffstat (limited to 'Git/UpdateIndex.hs')
| -rw-r--r-- | Git/UpdateIndex.hs | 1 |
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. -} |