src/Pure/Tools/isabelle_process.ML
changeset 28242 f978c8e75118
parent 28189 fbad2eb5be9e
child 28342 d0db291f7194
--- a/src/Pure/Tools/isabelle_process.ML	Tue Sep 16 15:37:32 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Tue Sep 16 15:37:33 2008 +0200
@@ -118,10 +118,10 @@
           val path = File.platform_path (Path.explode out);
           val out_stream = TextIO.openOut path;  (*fifo blocks until reader is ready*)
           val _ = OS.FileSys.remove path;  (*prevent alien access, indicate writer is ready*)
-          val _ = Thread.fork (auto_flush TextIO.stdOut, Multithreading.no_interrupts);
+          val _ = SimpleThread.fork false (auto_flush TextIO.stdOut);
         in out_stream end;
-    val _ = Thread.fork (auto_flush out_stream, Multithreading.no_interrupts);
-    val _ = Thread.fork (auto_flush TextIO.stdErr, Multithreading.no_interrupts);
+    val _ = SimpleThread.fork false (auto_flush out_stream);
+    val _ = SimpleThread.fork false (auto_flush TextIO.stdErr);
   in
     Output.writeln_fn  := message out_stream "A" Markup.writelnN;
     Output.priority_fn := message out_stream "B" Markup.priorityN;