Message6576

For anyone interested, below is our compress implementation. It's not fully generic (i.e. doesn't allow setting compression level) but works great for us.


from java.util.zip import Deflater
import jarray

DEFLATOR = Deflater(9, False)

def compress(text):
    DEFLATOR.setInput(text)
    DEFLATOR.finish()
    buf = jarray.zeros(1024, 'b')
    compressed = []
    while not DEFLATOR.finished():
        length = DEFLATOR.deflate(buf, 0, 1024)
        compressed.append(buf[:length].tostring())
    DEFLATOR.reset()
    return ''.join(compressed)