# HG changeset patch
# User wenzelm
# Date 1606232982 -3600
# Node ID e16f85e3c288349d08bb116a0ef60f0bed1d4cc8
# Parent  7af210f1f13bf86ced60c1fd6dd0ae3e71e31ee8
more robust;

diff -r 7af210f1f13b -r e16f85e3c288 src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Tue Nov 24 16:39:58 2020 +0100
+++ b/src/Pure/Tools/build_job.scala	Tue Nov 24 16:49:42 2020 +0100
@@ -223,6 +223,8 @@
       val process_result =
         Isabelle_Thread.interrupt_handler(_ => process.terminate) { process.await_shutdown }
 
+      session.stop()
+
       val export_errors =
         export_consumer.shutdown(close = true).map(Output.error_message_text)