# HG changeset patch
# User wenzelm
# Date 1220802398 -7200
# Node ID b44a7b2599095e23dbe042959a6b74a494ad2c68
# Parent  032cd8a25244e3caca83cd45ed2da40db8636178
send: broadcast to all waiting threads;

diff -r 032cd8a25244 -r b44a7b259909 src/Pure/Concurrent/mailbox.ML
--- a/src/Pure/Concurrent/mailbox.ML	Sun Sep 07 17:46:37 2008 +0200
+++ b/src/Pure/Concurrent/mailbox.ML	Sun Sep 07 17:46:38 2008 +0200
@@ -37,7 +37,7 @@
     val _ = Mutex.lock lock;
     val _ = change messages (Queue.enqueue msg);
     val _ = Mutex.unlock lock;
-    val _ = ConditionVar.signal cond;
+    val _ = ConditionVar.broadcast cond;
   in () end) ();