(filename, mode,compress)
| 31 | return options |
| 32 | |
| 33 | def zipit(filename, mode,compress): |
| 34 | #Saves/Zipps a compressed file to disk |
| 35 | # |
| 36 | r_file = open(filename, 'r') |
| 37 | # this is the zipping bit |
| 38 | w_file = gzip.GzipFile(filename + '.gz', mode, compress) |
| 39 | w_file.write(r_file.read()) |
| 40 | w_file.flush() |
| 41 | w_file.close() |
| 42 | r_file.close() |
| 43 | |
| 44 | def un_zipit(filename,mode): |
| 45 | #Unzips a compressed file from disk |