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 77109 e3a2b3536030
parent 77099 378bb7a739c3
child 77124 be90af1e3254 
--- a/src/Pure/Admin/build_history.scala	Fri Jan 27 15:22:26 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Fri Jan 27 15:33:21 2023 +0100
@@ -346,7 +346,7 @@
         build_info.finished_sessions.flatMap { session_name =>
           val heap = isabelle_output + Path.explode(session_name)
           if (heap.is_file) {
-            Some("Heap " + session_name + " (" + Value.Long(heap.file.length) + " bytes)")
+            Some("Heap " + session_name + " (" + Value.Long(File.space(heap).bytes) + " bytes)")
           }
           else None
         }
isabelle