# HG changeset patch
# User wenzelm
# Date 1197745826 -3600
# Node ID 9fc75df32c81000855119a0a382879a9a6811232
# Parent  d2730020af90e8698488e92b024c7e5ac4237b0d
ExitThread: sleep(300) before delivering EXIT message;

diff -r d2730020af90 -r 9fc75df32c81 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 19:55:54 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 20:10:26 2007 +0100
@@ -328,6 +328,7 @@
         {
             try {
                 int rc = proc.waitFor();
+                Thread.sleep(300);
                 putResult(Result.Kind.EXIT, Integer.toString(rc));
                 proc = null;
             } catch (InterruptedException exn) {