# HG changeset patch # User Dario Sestito # Date 1277135186 -3600 # Node ID 802d76cf07f15376e6e81f753206a9ae4f7a6a73 # Parent 759aa5329d258205762b7356f7f25368029b6b3c Fix: when comparing to zipped baseline the temporary file is not removed diff -r 759aa5329d25 -r 802d76cf07f1 envinfo/envinfo.pl --- a/envinfo/envinfo.pl Mon Jun 21 16:41:04 2010 +0100 +++ b/envinfo/envinfo.pl Mon Jun 21 16:46:26 2010 +0100 @@ -86,7 +86,7 @@ } else { - my $tmp_file = "tmp$$.txt"; + $tmp_file = "tmp$$.txt"; system("ren envinfo.txt $tmp_file"); $target = $tmp_file; }