# HG changeset patch
# User wenzelm
# Date 1493454823 -7200
# Node ID fd87fb909b892ed79909897f8c9ff30bdaeb4582
# Parent  bb185e442c958140b85e3b6831b0b483ea890d02
proper query (amending ce15da15f8e2);

diff -r bb185e442c95 -r fd87fb909b89 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Sat Apr 29 10:17:08 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Sat Apr 29 10:33:43 2017 +0200
@@ -766,7 +766,7 @@
       db: SQL.Database, log_name: String, session_names: List[String] = Nil): Build_Info =
     {
       val where0 =
-        Meta_Info.log_name.sql_where_equal(log_name) + " AND "
+        Meta_Info.log_name.sql_where_equal(log_name) + " AND " +
           Build_Info.session_name.sql_name + " <> ''"
       val where =
         if (session_names.isEmpty) where0