# HG changeset patch
# User wenzelm
# Date 1398799776 -7200
# Node ID a7c5c35b71258706e142ab9c2a09c956f0a4e8c1
# Parent  d5ab6a8799ce124bb3d57685925ad888de5dc86e
clarified exit sequence: prover is reset afterwards, no more output messages;

diff -r d5ab6a8799ce -r a7c5c35b7125 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Tue Apr 29 21:11:24 2014 +0200
+++ b/src/Pure/System/isabelle_process.scala	Tue Apr 29 21:29:36 2014 +0200
@@ -97,10 +97,9 @@
 
     process.stdin.close
     if (startup_failed) {
-      exit_message(127)
-      Thread.sleep(300)
       terminate_process()
       process_result.join
+      exit_message(127)
     }
     else {
       val (command_stream, message_stream) = system_channel.rendezvous()