diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-10-28 13:19:47 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-28 13:19:47 -0400 |
| commit | 6fcefbca7d55d8d7944ad78f622c9255edc33e00 (patch) | |
| tree | 08b3fd5c0d3c88bbe919e9351ff2fc75da8632b5 | |
| parent | 8579d5c5c436cffca56506cd6c52f90d64b082ce (diff) | |
propellor spin
| -rw-r--r-- | src/Utility/ConcurrentOutput.hs | 5 |
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. -- |
