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.
tuned query, notably for isabelle_build_log_build_info;
authorwenzelm
Fri, 28 Apr 2017 22:39:29 +0200
changeset 65622 52f682598f6b
parent 65621 551950dccec6
child 65623 ce15da15f8e2
tuned query, notably for isabelle_build_log_build_info;
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_log.scala	Fri Apr 28 22:29:37 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Fri Apr 28 22:39:29 2017 +0200
@@ -652,7 +652,7 @@
 
         val key = Meta_Info.log_name
         val known_files =
-          using(db.select(table, List(key)))(stmt =>
+          using(db.select(table, List(key), distinct = true))(stmt =>
             SQL.iterator(stmt.executeQuery)(rs => db.string(rs, key)).toSet)
 
         val unique_files =
isabelle