# 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