diff options
author | Joey Hess <joey@kitenet.net> | 2012-11-09 14:33:34 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-11-09 14:33:34 -0400 |
commit | b8e1ac94f21661786dd1825418b9d1d512a6a878 (patch) | |
tree | 4a386a22da2d3f8b1b046096126b0b131a11ca2b /Command | |
parent | 07f720ac361207a8a5f5f2005e3c841b7ffdb64b (diff) |
flush stdout
It's block-buffered here.
Diffstat (limited to 'Command')
-rw-r--r-- | Command/XMPPGit.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Command/XMPPGit.hs b/Command/XMPPGit.hs index 9df4f5d66..c54d6a84a 100644 --- a/Command/XMPPGit.hs +++ b/Command/XMPPGit.hs @@ -39,3 +39,4 @@ gitRemoteHelper = do respond l = do mapM_ putStrLn l putStrLn "" + hFlush stdout |