--- a/src/Pure/Tools/isabelle_process.scala Mon Dec 29 15:16:25 2008 +0100
+++ b/src/Pure/Tools/isabelle_process.scala Mon Dec 29 15:23:56 2008 +0100
@@ -83,7 +83,7 @@
results: EventBus[IsabelleProcess.Result], args: String*)
{
import IsabelleProcess._
-
+
/* demo constructor */
@@ -359,12 +359,6 @@
}
- /* results */
-
- val result_thread = new ResultThread
- result_thread.start
-
-
/* messages */
val message_fifo = isabelle_system.mk_fifo()
@@ -373,6 +367,8 @@
val message_thread = new MessageThread(message_fifo)
message_thread.start
+ new ResultThread().start
+
/* exec process */