From: Martin Mares <mj@ucw.cz>
Date: Thu, 5 Jul 2007 10:46:58 +0000 (+0200)
Subject: Include extras in HTML output (if enabled).
X-Git-Tag: python-dummy-working~293
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=04c2d74bd1a8f8c4203220ab70cc11ed215fd8d4;p=eval.git

Include extras in HTML output (if enabled).
---

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++;