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

diff --git a/deal.II/common/scripts/report.pl b/deal.II/common/scripts/report.pl
index 43a390914431bd5bb28d1a25602c4a8cd8e624d5..96aa3600919568aa3e7d09187b70bd5990fc573f 100644 (file)
--- 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 "</table>\n\n<table>\n"
+    }
+
     print "<tr><td>$date  ";
     foreach $name (sort keys %testcase)
     {
        $_ = $results{$date}{$name};
        print '<th> ', $_;
     }
-    print "\n";
+    print "</tr></td>\n";
+
+    # store old month name for the next iteration of the loop
+    $old_month = $this_month;
 }
 
 print << 'EOT'