--- a/src/Pure/System/message_channel.ML Thu Jan 29 13:58:02 2015 +0100
+++ b/src/Pure/System/message_channel.ML Thu Jan 29 15:21:16 2015 +0100
@@ -59,7 +59,8 @@
if Multithreading.available then
let
val mbox = Mailbox.create ();
- val thread = Simple_Thread.fork false (message_output mbox channel);
+ val thread =
+ Simple_Thread.fork {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);