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 SQL query;
authorwenzelm
Wed, 05 Jul 2023 11:27:36 +0200
changeset 78251 f0762eb07583
parent 78249 1260be3f33a4
child 78252 4dca4ba6f01b
proper SQL query;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_process.scala	Mon Jul 03 16:46:37 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Wed Jul 05 11:27:36 2023 +0200
@@ -421,7 +421,7 @@
     def read_sessions_domain(db: SQL.Database, build_uuid: String = ""): Set[String] =
       db.execute_query_statement(
         Sessions.table.select(List(Sessions.name),
-          sql = if_proper(build_uuid, Sessions.name.where_equal(build_uuid))),
+          sql = if_proper(build_uuid, Sessions.build_uuid.where_equal(build_uuid))),
         Set.from[String], res => res.string(Sessions.name))
 
     def read_sessions(db: SQL.Database,
isabelle