diff src/print.c @ 69678:551e94bacb60

(print_output_debug_flag): New global variable. (Fexternal_debugging_output) [WINDOWSNT]: Don't call OutputDebugString if print_output_debug_flag is zero.

--- a/src/print.c	Sat Mar 25 11:34:47 2006 +0000
+++ b/src/print.c	Sat Mar 25 17:58:37 2006 +0000
@@ -182,6 +182,9 @@
 
 void print_interval ();
 
+/* GDB resets this to zero on W32 to disable OutputDebugString calls.  */
+int print_output_debug_flag = 1;
+
 
 /* Low level output routines for characters and strings */
 
@@ -909,10 +912,11 @@
 
 #ifdef WINDOWSNT
   /* Send the output to a debugger (nothing happens if there isn't one).  */
-  {
-    char buf[2] = {(char) XINT (character), '\0'};
-    OutputDebugString (buf);
-  }
+  if (print_output_debug_flag)
+    {
+      char buf[2] = {(char) XINT (character), '\0'};
+      OutputDebugString (buf);
+    }
 #endif
 
   return character;