179 		    $buffer = $zbuffer;

   179 		    $buffer = $zbuffer;

   180 		    $ext = ".gz$ext";

   180 		    $ext = ".gz$ext";

   181 		}

   181 		}

   182             }

   182             }

   183 

   183 

   185             close($out);

   185             close($out);

   186             rename($out => "$data/$file$ext");

   186             rename($out => "$data/$file$ext");

   187             $index{BLOCKS}[$. - 1] .= " *";

   187             $index{BLOCKS}[$. - 1] .= " *";

   188             $stats{written}++;

   188             $stats{written}++;

   189         }

   189         }