# HG changeset patch
# User wenzelm
# Date 1337937512 -7200
# Node ID 3ffd885abe00660af2ac1786766e04e5b89b475d
# Parent  969457d93f752d6acb834986a4cb37122a1a03ad
ignore empty messages even on tty, e.g. relevant for Isabelle_System.bash_output err output;

diff -r 969457d93f75 -r 3ffd885abe00 src/Pure/General/output.ML
--- a/src/Pure/General/output.ML	Thu May 24 23:44:16 2012 +0200
+++ b/src/Pure/General/output.ML	Fri May 25 11:18:32 2012 +0200
@@ -91,9 +91,8 @@
   val writeln_fn = Unsynchronized.ref physical_writeln;
   val urgent_message_fn = Unsynchronized.ref (fn s => ! writeln_fn s);
   val tracing_fn = Unsynchronized.ref (fn s => ! writeln_fn s);
-  val warning_fn = Unsynchronized.ref (physical_stdout o suffix "\n" o prefix_lines "### ");
-  val error_fn =
-    Unsynchronized.ref (fn (_: serial, s) => physical_stdout (suffix "\n" (prefix_lines "*** " s)));
+  val warning_fn = Unsynchronized.ref (physical_writeln o prefix_lines "### ");
+  val error_fn = Unsynchronized.ref (fn (_: serial, s) => physical_writeln (prefix_lines "*** " s));
   val prompt_fn = Unsynchronized.ref physical_stdout;
   val status_fn = Unsynchronized.ref (fn _: output => ());
   val report_fn = Unsynchronized.ref (fn _: output => ());