From 659db5a16100b288ca3dc33d936d91a22423948e Mon Sep 17 00:00:00 2001
From: wolfgang <unknown>
Date: Sun, 23 Jan 2005 20:20:55 +0000
Subject: [PATCH] [project @ 2005-01-23 20:20:55 by wolfgang] Flush stdout and
 stderr also when exiting due to an ExitException.

---
 GHC/TopHandler.lhs |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/GHC/TopHandler.lhs b/GHC/TopHandler.lhs
index 6082a03..7e5bca4 100644
--- 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
-- 
1.7.10.4