diff -r 332c5195337a -r 4bdc287cd2c7 common/tools/uh2diamonds.pl --- a/common/tools/uh2diamonds.pl Wed Jul 14 11:39:59 2010 +0100 +++ b/common/tools/uh2diamonds.pl Wed Jul 14 12:29:45 2010 +0100 @@ -18,6 +18,7 @@ my $input = "\\output\\logs\\html\\index.html"; my $output = "\\output\\logs\\diamonds_uh.xml"; +my $bit_output = "\\output\\logs\\bitinfo.txt"; my $help = 0; GetOptions(( 'in=s' => \$input, @@ -87,4 +88,13 @@ else { warn "Could not write to file: $output\n"; +} + +if (open(BITINFO, ">>$bit_output")) +{ + print BITINFO "failure\tmissing,$missing\n"; + print BITINFO "failure\tminor,$minor\n"; + print BITINFO "failure\tmajor,$major\n"; + print BITINFO "failure\tcritical,$critical\n"; + close(BITINFO); } \ No newline at end of file