2005-04-28 Paul Brook <paul@codesourcery.com>

	* exceptions.c (print_flush): Handle NULL gdb_stdout_serial.

diff --git a/gdb/exceptions.c b/gdb/exceptions.c
index 98e6f25829a7c5cac53d35af36d983b7693aa02e..f5ffca83b42e827d374656c47e2696262b34edd1 100644 (file)
--- a/gdb/exceptions.c
+++ b/gdb/exceptions.c
@@ -282,8 +282,11 @@ print_flush (void)
 
   /* 3.  The system-level buffer.  */
   gdb_stdout_serial = serial_fdopen (1);
-  serial_drain_output (gdb_stdout_serial);
-  serial_un_fdopen (gdb_stdout_serial);
+  if (gdb_stdout_serial)
+    {
+      serial_drain_output (gdb_stdout_serial);
+      serial_un_fdopen (gdb_stdout_serial);
+    }
 
   annotate_error_begin ();
 }