# HG changeset patch
# User wenzelm
# Date 1197752604 -3600
# Node ID fd1a128d8415a0c029fd6e9cc3115ada19552f88
# Parent  b6cdff094881c38932c5f66cda43a4613825ff61
ExitThread: deliver message before EXIT;

diff -r b6cdff094881 -r fd1a128d8415 lib/classes/isabelle/IsabelleProcess.java
--- 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;