src/Pure/Thy/store.scala

--- a/src/Pure/Thy/store.scala	Tue Jun 20 22:57:34 2023 +0200
+++ b/src/Pure/Thy/store.scala	Wed Jun 21 11:05:20 2023 +0200
@@ -267,7 +267,10 @@
     else SQLite.open_database(path, restrict = true)
 
   def maybe_open_build_database(path: Path): Option[SQL.Database] =
-    if (!build_database_test) None else Some(open_build_database(path))
+    if (build_database_test) Some(open_build_database(path)) else None
+
+  def maybe_open_heaps_database(): Option[SQL.Database] =
+    if (build_database_test && build_database_server) Some(open_database_server()) else None
 
   def try_open_database(
     name: String,