# HG changeset patch
# User wenzelm
# Date 1693738368 -7200
# Node ID 0beb46a96cf32f480917d2e40f02a0691221325a
# Parent  37a0c953649d1bc48515505fcd6c5228d30fef9b
clarified output;

diff -r 37a0c953649d -r 0beb46a96cf3 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sun Sep 03 12:39:19 2023 +0200
+++ b/src/Pure/Tools/build.scala	Sun Sep 03 12:52:48 2023 +0200
@@ -464,7 +464,7 @@
   def read_builds(build_database: Option[SQL.Database]): List[Build_Process.Build] =
     build_database match {
       case None => Nil
-      case Some(db) => Build_Process.read_builds(db).filter(_.active)
+      case Some(db) => Build_Process.read_builds(db)
     }
 
   def print_builds(build_database: Option[SQL.Database], builds: List[Build_Process.Build]): String =
@@ -472,7 +472,7 @@
     val print_database =
       build_database match {
         case None => ""
-        case Some(db) => " (database: " + db + ")"
+        case Some(db) => " (database " + db + ")"
       }
     if (builds.isEmpty) "No build processes available" + print_database
     else {
@@ -587,7 +587,7 @@
       using_optional(store.maybe_open_build_database(server = server)) { build_database =>
         val builds = read_builds(build_database)
 
-        val build_master = find_builds(build_database, build_id, builds)
+        val build_master = find_builds(build_database, build_id, builds.filter(_.active))
 
         val sessions_structure =
           Sessions.load_structure(build_options, dirs = AFP.make_dirs(afp_root) ::: dirs).