summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess2015-10-28 13:19:47 -0400
committerJoey Hess2015-10-28 13:19:47 -0400
commit6fcefbca7d55d8d7944ad78f622c9255edc33e00 (patch)
tree08b3fd5c0d3c88bbe919e9351ff2fc75da8632b5
parent8579d5c5c436cffca56506cd6c52f90d64b082ce (diff)
propellor spin
-rw-r--r--src/Utility/ConcurrentOutput.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Utility/ConcurrentOutput.hs b/src/Utility/ConcurrentOutput.hs
index 279421e2..cbd5a00d 100644
--- a/src/Utility/ConcurrentOutput.hs
+++ b/src/Utility/ConcurrentOutput.hs
@@ -128,7 +128,10 @@ withConcurrentOutput a = a `finally` drain
where
-- Just taking the output lock is enough to ensure that anything
-- that was buffering output has had a chance to flush its buffer.
- drain = lockOutput (return ())
+ drain = do
+ hPutStrLn stderr "DRAIN"
+ hFlush stderr
+ lockOutput (return ())
-- | Displays a string to stdout, and flush output so it's displayed.
--