# HG changeset patch # User Dario Sestito # Date 1275904851 -3600 # Node ID 41e4f69f652f81b0d355a4ddecbbdbdb1c65525b # Parent e9abe522630137759d5ab3d02b15d21f6b0a4c07 Fix: wrong name for diamonds_envinfo file diff -r e9abe5226301 -r 41e4f69f652f common/tools/envinfo2diamonds.pl --- a/common/tools/envinfo2diamonds.pl Fri Jun 04 16:43:28 2010 +0100 +++ b/common/tools/envinfo2diamonds.pl Mon Jun 07 11:00:51 2010 +0100 @@ -17,7 +17,7 @@ use Getopt::Long; my $input = "\\output\\logs\\envinfo.txt"; -my $output = "\\output\\logs\\envinfo_diamonds.xml"; +my $output = "\\output\\logs\\diamonds_envinfo.xml"; my $help = 0; GetOptions(( 'in=s' => \$input, @@ -31,7 +31,7 @@ print "Usage: perl envinfo2diamonds.pl [-i INFILE] [-o OUTFILE]\n"; print "\n"; print "INFILE is optional, its default is \\output\\logs\\envinfo.txt\n"; - print "OUTFILE is optional, its default is \\output\\logs\\envinfo_diamonds.xml\n"; + print "OUTFILE is optional, its default is \\output\\logs\\diamonds_envinfo.xml\n"; exit(0); }