ExitThread: deliver message before EXIT;

--- a/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 21:52:49 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 22:03:24 2007 +0100
@@ -329,12 +329,12 @@
             try {
                 int rc = proc.waitFor();
                 Thread.sleep(300);
+                putResult(Result.Kind.SYSTEM, "Exit thread terminated");
                 putResult(Result.Kind.EXIT, Integer.toString(rc));
                 proc = null;
             } catch (InterruptedException exn) {
                 putResult(Result.Kind.SYSTEM, "Exit thread interrupted");
             }
-            putResult(Result.Kind.SYSTEM, "Exit thread terminated");
         }
     }
     private ExitThread exitThread;