X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.c;h=409499301e4f68d343a29287672ef8d69e8d2496;hb=0c335df036f26ba66ad3d6d4fd0fef6b7f8bf359;hp=8bd6af956ddf55153df8cbbf11c4220f24a0c450;hpb=7d34380bb2fddca820a6f414564738cc2f70afc9;p=pspp-builds.git

diff --git a/src/libpspp/message.c b/src/libpspp/message.c
index 8bd6af95..40949930 100644
--- a/src/libpspp/message.c
+++ b/src/libpspp/message.c
@@ -127,7 +127,7 @@ msg_to_string (const struct msg *m, const char *command_name)
       if (m->where.line_number > 0)
         {
           if (!ds_is_empty (&s))
-            ds_put_char (&s, ':');
+            ds_put_byte (&s, ':');
           ds_put_format (&s, "%d", m->where.line_number);
         }
       if (m->where.first_column > 0)
@@ -271,7 +271,7 @@ process_msg (const struct msg *m)
 void
 msg_emit (struct msg *m)
 {
-  if ( s_stream )
+  if ( s_stream && m->where.file_name == NULL )
     {
       struct msg_locator loc;
 
@@ -312,7 +312,7 @@ msg_enable (void)
 /* Private functions. */
 
 void
-request_bug_report_and_abort (const char *msg)
+request_bug_report (const char *msg)
 {
   fprintf (stderr, "******************************************************\n");
   fprintf (stderr, "You have discovered a bug in PSPP.  Please report this\n");
@@ -334,7 +334,5 @@ request_bug_report_and_abort (const char *msg)
 #endif
            );
   fprintf (stderr, "******************************************************\n");
-
-  _exit (EXIT_FAILURE);
 }