[project @ 2005-01-23 20:20:55 by wolfgang]

Flush stdout and stderr also when exiting due to an ExitException.

diff --git a/GHC/TopHandler.lhs b/GHC/TopHandler.lhs
index 6082a03..7e5bca4 100644 (file)
--- a/GHC/TopHandler.lhs
+++ b/GHC/TopHandler.lhs
@@ -64,8 +64,8 @@ real_handler ex =
           safeExit 2
 
        -- only the main thread gets ExitException exceptions
-       ExitException ExitSuccess     -> safeExit 0
-       ExitException (ExitFailure n) -> safeExit n
+       ExitException ExitSuccess     -> cleanUp >> safeExit 0
+       ExitException (ExitFailure n) -> cleanUp >> safeExit n
 
        other -> do
           reportError other