common/tools/uh2diamonds.pl
changeset 1181 4bdc287cd2c7
parent 1051 044ab1b95cae
child 1244 c04fc0405d17
--- 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