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.
proper close;
authorwenzelm
Sat, 17 Jun 2023 17:29:31 +0200
changeset 78175 a081ad6c3c4b
parent 78174 cc0bd66eb498
child 78176 41a2c9d5cd5d
proper close;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_process.scala	Sat Jun 17 15:58:41 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Sat Jun 17 17:29:31 2023 +0200
@@ -828,6 +828,7 @@
 
   def close(): Unit = synchronized {
     _database.foreach(_.close())
+    _host_database.foreach(_.close())
     progress match {
       case db_progress: Database_Progress =>
         db_progress.exit()
isabelle