src/Pure/Tools/build_process.scala

--- 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()