diff src/input.cc @ 8868:4d812facab0e

write debugging location info directly to std::cerr
author John W. Eaton <jwe@octave.org>
date Wed, 25 Feb 2009 03:02:28 -0500
parents f71b749be1c1
children eb63fbe60fab
line wrap: on
line diff
--- a/src/input.cc
+++ b/src/input.cc
@@ -645,7 +645,12 @@
   std::string msg = buf.str ();
 
   if (! msg.empty ())
-    message (Vgud_mode ? 0 : "keyboard", "%s", msg.c_str ());
+    {
+      if (! Vgud_mode)
+	std::cerr << "keyboard: ";
+
+      std::cerr << msg << std::endl;
+    }
 
   unwind_protect::begin_frame ("get_debug_input");