# HG changeset patch
# User wenzelm
# Date 1552253880 -3600
# Node ID 2eade8651b93e43dc19711596e037206c91ef49d
# Parent  1a7857abb75c85a7bc506ffbd5844f9390aad2a9
proper data columns for plots;

diff -r 1a7857abb75c -r 2eade8651b93 src/Pure/Admin/build_status.scala
--- a/src/Pure/Admin/build_status.scala	Sun Mar 10 21:33:05 2019 +0100
+++ b/src/Pure/Admin/build_status.scala	Sun Mar 10 22:38:00 2019 +0100
@@ -483,12 +483,12 @@
 
               val heap_plots =
                 List(
-                  """ using 1:6 smooth sbezier title "heap maximum (smooth)" """,
-                  """ using 1:6 smooth csplines title "heap maximum" """,
-                  """ using 1:7 smooth sbezier title "heap average (smooth)" """,
-                  """ using 1:7 smooth csplines title "heap average" """,
-                  """ using 1:8 smooth sbezier title "heap stored (smooth)" """,
-                  """ using 1:8 smooth csplines title "heap stored" """)
+                  """ using 1:10 smooth sbezier title "heap maximum (smooth)" """,
+                  """ using 1:10 smooth csplines title "heap maximum" """,
+                  """ using 1:11 smooth sbezier title "heap average (smooth)" """,
+                  """ using 1:11 smooth csplines title "heap average" """,
+                  """ using 1:12 smooth sbezier title "heap stored (smooth)" """,
+                  """ using 1:12 smooth csplines title "heap stored" """)
 
               def jfreechart(plot_name: String, fields: ML_Statistics.Fields): Image =
               {