# HG changeset patch
# User wenzelm
# Date 1586174638 -7200
# Node ID dd9fc8a3036c5f020f31af1de8dc88be21e1c9fa
# Parent  2e602e278b77f1f0af7b7a3d25306388f54e94b0
terminate faster;

diff -r 2e602e278b77 -r dd9fc8a3036c src/Pure/System/bash.scala
--- a/src/Pure/System/bash.scala	Mon Apr 06 13:59:48 2020 +0200
+++ b/src/Pure/System/bash.scala	Mon Apr 06 14:03:58 2020 +0200
@@ -118,7 +118,7 @@
 
     def terminate(): Unit = Isabelle_Thread.uninterruptible
     {
-      kill("INT", count = 10) && kill("TERM", count = 10) && kill("KILL")
+      kill("INT", count = 7) && kill("TERM", count = 3) && kill("KILL")
       proc.destroy
       do_cleanup()
     }