win32.c
changeset 1023 8df956881058
parent 1022 9ea8ee93d6a9
child 1028 37e5cf7baa96
--- a/win32.c	Sat Jan 15 15:48:05 2005 +0000
+++ b/win32.c	Sat Jan 15 16:38:10 2005 +0000
@@ -1337,6 +1337,8 @@
 	DialogBox(GetModuleHandle(NULL), MAKEINTRESOURCE(100), NULL, CrashDialogFunc);
 }
 
+extern bool CloseConsoleLogIfActive();
+
 static LONG WINAPI ExceptionHandler(EXCEPTION_POINTERS *ep)
 {
 	char *output;
@@ -1442,13 +1444,17 @@
 		}
 	}
 
+	/* Close any possible log files */
+	CloseConsoleLogIfActive();
+
 	if (_safe_esp) {
 		ep->ContextRecord->Eip = (DWORD)Handler2;
 		ep->ContextRecord->Esp = (DWORD)_safe_esp;
 		return EXCEPTION_CONTINUE_EXECUTION;
-	} else {
-		return EXCEPTION_EXECUTE_HANDLER;
 	}
+
+
+	return EXCEPTION_EXECUTE_HANDLER;
 }
 
 static void Win32InitializeExceptions()