# HG changeset patch
# User mhessling@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1239359454 0
# Node ID 6cec85b90635fcc0df933413ab1c7d89fbbf8ca5
# Parent  c6a216c8174f6b74d9b8ed13ffb18c60cfb51d84
Close debug file on exit

diff -r c6a216c8174f -r 6cec85b90635 win/dw.c
--- a/win/dw.c	Fri Apr 10 10:25:26 2009 +0000
+++ b/win/dw.c	Fri Apr 10 10:30:54 2009 +0000
@@ -9054,6 +9054,10 @@
 void API dw_exit(int exitcode)
 {
    OleUninitialize();
+   if ( dbgfp != NULL )
+   {
+      fclose( dbgfp );
+   }
    exit(exitcode);
 }