# HG changeset patch
# User wenzelm
# Date 1622839832 -7200
# Node ID 2141d6c83511db273f1b278d4169e48cc88cb070
# Parent  8d9ac6cfc270dcb8940f77dd7c494918b02a56d7
tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);

diff -r 8d9ac6cfc270 -r 2141d6c83511 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Fri Jun 04 22:46:11 2021 +0200
+++ b/src/Pure/System/isabelle_process.scala	Fri Jun 04 22:50:32 2021 +0200
@@ -37,9 +37,9 @@
           modes = modes, cwd = cwd, env = env)
       }
       catch { case exn @ ERROR(_) => channel.shutdown(); throw exn }
-    process.stdin.close()
 
     val isabelle_process = new Isabelle_Process(session, process)
+    process.stdin.close()
     session.start(receiver => new Prover(receiver, session.cache, channel, process))
 
     isabelle_process