summaryrefslogtreecommitdiff
path: root/src/Utility/ConcurrentOutput.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Utility/ConcurrentOutput.hs')
-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.
--