From 04c2d74bd1a8f8c4203220ab70cc11ed215fd8d4 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 5 Jul 2007 12:46:58 +0200
Subject: [PATCH] Include extras in HTML output (if enabled).

---
 bin/mo-score | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/mo-score b/bin/mo-score
index 7fb1a50..c6eb137 100755
--- 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++;
-- 
2.39.2