Include extras in HTML output (if enabled).

diff --git a/bin/mo-score b/bin/mo-score
index 7fb1a509ce45666484ded930b0b8279d16c8daa0..c6eb1376c2fe9b29bd008a0c2f6d973410488f1c 100755 (executable)
--- a/bin/mo-score
+++ b/bin/mo-score
@@ -243,6 +243,7 @@ sub printHtmlHeader {
 
    if ($detail) {
      $hdr1 = "<th rowspan=2>Rank<th rowspan=2>User<th rowspan=2>Name";
+     $extras and $p++ and push @$perm, 3 and $hdr1.="<th rowspan=2>Extra" and $colspec.="<colgroup span=1>";
      for my $task (@tasks) {
 
        my $nSub = scalar(keys %{$known_tests{$task}});
@@ -263,6 +264,7 @@ sub printHtmlHeader {
    } else {  ## no detail
    
      $hdr1 = "<th>Rank<th>User<th>Name";
+     $extras and $p++ and push @$perm, 3 and $hdr1.="<th>Extra" and $colspec.="<colgroup span=1>";
 
      for my $task (@tasks) {
         push @$perm, $p++;