src/Pure/Admin/build_log.scala

       val table = Data.meta_info_table
       val columns = table.columns.tail
       db.using_statement(table.select(columns, Data.log_name.where_equal(log_name)))(stmt =>
       {
         val res = stmt.execute_query()
-        if (!res.next) None
+        if (!res.next()) None
         else {
           val results =
             columns.map(c => c.name ->
               (if (c.T == SQL.Type.Date)
                 res.get_date(c).map(Log_File.Date_Format(_))