# HG changeset patch
# User wenzelm
# Date 1676281767 -3600
# Node ID 6435b0fd48b55efe892e1d4902c3b4ea51fe5971
# Parent  f0467264948355b2175ba2328ddfda3ea0748483
more robust;

diff -r f04672649483 -r 6435b0fd48b5 src/Pure/General/logger.scala
--- a/src/Pure/General/logger.scala	Mon Feb 13 10:39:49 2023 +0100
+++ b/src/Pure/General/logger.scala	Mon Feb 13 10:49:27 2023 +0100
@@ -35,7 +35,8 @@
 }
 
 class System_Logger extends Logger {
-  def apply(msg: => String): Unit =
+  def apply(msg: => String): Unit = synchronized {
     if (Platform.is_windows) System.out.println(msg)
     else System.console.writer.println(msg)
+  }
 }