--- a/src/Pure/System/message_channel.ML Tue Jul 21 14:07:06 2015 +0200
+++ b/src/Pure/System/message_channel.ML Tue Jul 21 14:12:45 2015 +0200
@@ -60,7 +60,8 @@
let
val mbox = Mailbox.create ();
val thread =
- Simple_Thread.fork {stack_limit = NONE, interrupts = false} (message_output mbox channel);
+ Simple_Thread.fork {name = "channel", stack_limit = NONE, interrupts = false}
+ (message_output mbox channel);
fun send msg = Mailbox.send mbox (SOME msg);
fun shutdown () =
(Mailbox.send mbox NONE; Mailbox.await_empty mbox; Simple_Thread.join thread);