# HG changeset patch
# User wenzelm
# Date 1230560636 -3600
# Node ID 53930d089f8896346f425dbc8b6304c17a6e9f3e
# Parent  4410739f97a6a47357ef78858746d819947dc974
tuned;

diff -r 4410739f97a6 -r 53930d089f88 src/Pure/Tools/isabelle_process.scala
--- 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 */