From ff9fc1c9d25effa614401fa5dd3ecc98f65827d3 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 29 Jun 2001 07:04:34 +0000 Subject: [PATCH] Break the table into pieces, one per month, to make rendering faster. git-svn-id: https://svn.dealii.org/trunk@4777 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/report.pl | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/deal.II/common/scripts/report.pl b/deal.II/common/scripts/report.pl index 43a3909144..96aa360091 100644 --- a/deal.II/common/scripts/report.pl +++ b/deal.II/common/scripts/report.pl @@ -55,13 +55,25 @@ for ($i=1;$i<$next_index;$i++) # finally output a table of results foreach $date (sort {$b cmp $a} keys %results) { + # if this is not the first iteration, and if the month has changed, + # then put in a break into the table to avoid overly long tables + # which browsers take infinitely long to render + $date ~ /\d+-(\d+)-\d+/; + $this_month = $2; + if ((defined $oldmonth) && ($this_month != $old_month)) { + print "\n\n\n" + } + print "\n"; + + # store old month name for the next iteration of the loop + $old_month = $this_month; } print << 'EOT' -- 2.39.5
$date "; foreach $name (sort keys %testcase) { $_ = $results{$date}{$name}; print ' ', $_; } - print "\n"; + print "