# HG changeset patch
# User wenzelm
# Date 1197751969 -3600
# Node ID b6cdff094881c38932c5f66cda43a4613825ff61
# Parent  390d3bd0435d8c869dbded6536b06f9f14d18cc3
tuned;

diff -r 390d3bd0435d -r b6cdff094881 lib/classes/isabelle/IsabelleDemo.java
--- a/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 21:26:14 2007 +0100
+++ b/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 21:52:49 2007 +0100
@@ -8,32 +8,21 @@
 package isabelle;
 
 public class IsabelleDemo extends IsabelleProcess {
-
-    /* console thread */
-
-    private class ConsoleThread extends Thread
-    {
-        public void run()
-        {
-            IsabelleProcess.Result result = null;
-            while (result == null || result.kind != IsabelleProcess.Result.Kind.EXIT) {
-                try {
-                    result = results.take();
-                    System.err.println(result.toString());
-                } catch (InterruptedException ex) { }
-            }
-            System.err.println("Console thread terminated");
-        }
-    }
-    private ConsoleThread consoleThread;
-
-
-    /* create process */
-
     public IsabelleDemo(String logic) throws IsabelleProcessException
     {
         super(logic);
-        consoleThread = new ConsoleThread();
-        consoleThread.start();
+        new Thread (new Runnable () {
+            public void run()
+            {
+                IsabelleProcess.Result result = null;
+                while (result == null || result.kind != IsabelleProcess.Result.Kind.EXIT) {
+                    try {
+                        result = results.take();
+                        System.err.println(result.toString());
+                    } catch (InterruptedException ex) { }
+                }
+                System.err.println("Console thread terminated");
+            }
+        }).start();
     }
 }