src/Pure/Tools/isabelle_process.scala

 
 class IsabelleProcess(isabelle_system: IsabelleSystem,
   results: EventBus[IsabelleProcess.Result], args: String*)
 {
   import IsabelleProcess._
-  
+
 
   /* demo constructor */
 
   def this(args: String*) =
     this(new IsabelleSystem, new EventBus[IsabelleProcess.Result] + (Console.println(_)), args: _*)

       if (rc != 0) error("Version check failed -- bad Isabelle installation:\n" + msg)
       put_result(Kind.SYSTEM, null, msg)
     }
 
 
-    /* results */
-
-    val result_thread = new ResultThread
-    result_thread.start
-    
-
     /* messages */
 
     val message_fifo = isabelle_system.mk_fifo()
     def rm_fifo() = isabelle_system.rm_fifo(message_fifo)
 
     val message_thread = new MessageThread(message_fifo)
     message_thread.start
+
+    new ResultThread().start
 
 
     /* exec process */
 
     try {