Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
terminate faster;
authorwenzelm
Mon, 06 Apr 2020 14:03:58 +0200
changeset 71708 dd9fc8a3036c
parent 71707 2e602e278b77
child 71709 b4b973a7df45
terminate faster;
src/Pure/System/bash.scala file | annotate | diff | comparison | revisions 
--- 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()
     }
isabelle