Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_history.scala
changeset 78867 b02f8fb6b1b6
parent 78618 209607465a90
child 78918 8378354bbdad 
--- a/src/Pure/Admin/build_history.scala	Tue Oct 31 16:15:59 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Tue Oct 31 16:24:07 2023 +0100
@@ -317,7 +317,8 @@
               using(SQLite.open_database(database))(store.read_ml_statistics(_, session_name))
             }
             else if (log_gz.is_file) {
-              Build_Log.Log_File(log_gz).parse_session_info(ml_statistics = true).ml_statistics
+              Build_Log.Log_File.read(log_gz.file)
+                .parse_session_info(ml_statistics = true).ml_statistics
             }
             else Nil
isabelle