В Python, как добавить заголовки для файла после gzip перед его записью

Question

Я пытаюсь открыть файл javascript, прочитать его, распаковать, а затем записать его обратно в другой файл... могу сделать все это.. но как установить "Content-Encoding: gzip" перед записью сжатого содержимого... вот код:

import os, sys, mimetypes, zipfile, gzip, cStringIO
from optparse import OptionParser
def main():
    parser = OptionParser(usage='usage: %prog [options] src_file destination_file')
    parser.add_option('-x', '--expires', action='store_true', help='set far future expiry for all files')
    (options, args) = parser.parse_args()
    if len(args) != 2:
        parser.error("incorrect number of arguments")
    name = os.path.normpath(args[0])
    des_file = os.path.normpath(args[1])

    try:
        s_file = open(name, 'r')
        content = s_file.read()

        compressed = cStringIO.StringIO()
        gz = gzip.GzipFile(filename=name,  mode='w', fileobj=compressed)
        gz.write(content)
        gz.close()
        s_file.close()

        o_file = open(des_file, 'w')
        ##
        ## BEFORE WRITING THE CONTENT INTO A FILE HOW WE ADD THE Content-Encoding
        ##
        o_file.write(compressed.getvalue())
        o_file.close()

    except (IOError, os.error), why:
        print 'Failed to read the file', filename, '\n Exception:', why

Answer 1

Это обычно определяется тем, что обслуживает файл. Ваша работа обычно ограничивается настройкой правильного расширения имени файла (.gz в данном случае) при создании файла и правильной настройке сервера.