src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Fri Jun 10 15:34:25 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Jun 10 21:05:31 2022 +0200
@@ -1302,6 +1302,9 @@
 
     /* database */
 
+    def find_database(name: String): Option[Path] =
+      input_dirs.map(_ + database(name)).find(_.is_file)
+
     def database_server: Boolean = options.bool("build_database_server")
 
     def open_database_server(): SQL.Database =