X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fterminal%2Fmsg-ui.c;fp=src%2Fui%2Fterminal%2Fmsg-ui.c;h=ddd927c58f1b31f4c746e704d0161a4c21ea66b6;hb=2997cc6481d0744e910eccb6f23d56efe93d32d3;hp=7d5cf72f84ff89fb689136ad820eb68c96477106;hpb=85cef9b9391f1aaf4b27bd90a02f8ce5daf004ee;p=pspp-builds.git

diff --git a/src/ui/terminal/msg-ui.c b/src/ui/terminal/msg-ui.c
index 7d5cf72f..ddd927c5 100644
--- a/src/ui/terminal/msg-ui.c
+++ b/src/ui/terminal/msg-ui.c
@@ -40,7 +40,7 @@ static const char *error_file;
 
 static void handle_msg (const struct msg *);
 
-static FILE *msg_file;
+static FILE *msg_file ;
 
 void 
 msg_ui_set_error_file (const char *filename)
@@ -72,7 +72,9 @@ void
 msg_ui_done (void) 
 {
   msg_done ();
-  fclose (msg_file);
+  
+  if ( msg_file ) /* FIXME: do we really want to close stdout ?? */
+    fclose (msg_file);
 }