3 if not infile then |
3 if not infile then |
4 print_err("Can't open input file for reading: "..tostring(err)); |
4 print_err("Can't open input file for reading: "..tostring(err)); |
5 return; |
5 return; |
6 end |
6 end |
7 |
7 |
8 local outfile, err = io.open(outfile_fn..".gzipped", "w+"); |
8 local outfile, err = io.open(outfile_fn..".gzipped", "wb+"); |
9 if not outfile then |
9 if not outfile then |
10 print_err("Can't open output file for writing: "..tostring(err)); |
10 print_err("Can't open output file for writing: "..tostring(err)); |
11 return; |
11 return; |
12 end |
12 end |
13 |
13 |