changeset 77 | e65d90b1682d |
parent 74 | a8495233e04c |
child 78 | 603b47708d37 |
76:b87d2064db02 | 77:e65d90b1682d |
---|---|
179 $buffer = $zbuffer; |
179 $buffer = $zbuffer; |
180 $ext = ".gz$ext"; |
180 $ext = ".gz$ext"; |
181 } |
181 } |
182 } |
182 } |
183 |
183 |
184 print {$out} $buffer; |
184 syswrite $out => $buffer; |
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 } |