Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ExitThread: sleep(300) before delivering EXIT message;
authorwenzelm
Sat, 15 Dec 2007 20:10:26 +0100
changeset 25649 9fc75df32c81
parent 25648 d2730020af90
child 25650 ce061f5083d7
ExitThread: sleep(300) before delivering EXIT message;
lib/classes/isabelle/IsabelleProcess.java file | annotate | diff | comparison | revisions 
--- 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) {
isabelle