diff options
Diffstat (limited to 'src/Utility')
| -rw-r--r-- | src/Utility/ConcurrentOutput.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Utility/ConcurrentOutput.hs b/src/Utility/ConcurrentOutput.hs index cbd5a00d..b49447cc 100644 --- a/src/Utility/ConcurrentOutput.hs +++ b/src/Utility/ConcurrentOutput.hs @@ -132,6 +132,8 @@ withConcurrentOutput a = a `finally` drain hPutStrLn stderr "DRAIN" hFlush stderr lockOutput (return ()) + hPutStrLn stderr "DRAIN DONE" + hFlush stderr -- | Displays a string to stdout, and flush output so it's displayed. -- |