1997-04-30 16:04:57 +00:00
|
|
|
import time
|
|
|
|
import string
|
|
|
|
import zlib
|
1997-07-19 20:22:23 +00:00
|
|
|
import __builtin__
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
# implements a python function that reads and writes a gzipped file
|
|
|
|
# the user of the file doesn't have to worry about the compression,
|
1997-12-30 20:09:08 +00:00
|
|
|
# but random access is not allowed
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
# based on Andrew Kuchling's minigzip.py distributed with the zlib module
|
|
|
|
|
|
|
|
FTEXT, FHCRC, FEXTRA, FNAME, FCOMMENT = 1, 2, 4, 8, 16
|
|
|
|
|
|
|
|
READ, WRITE = 1, 2
|
|
|
|
|
|
|
|
def write32(output, value):
|
|
|
|
t = divmod(value, 256)
|
|
|
|
b1 = chr(t[1])
|
|
|
|
|
|
|
|
t = divmod(t[0], 256)
|
|
|
|
b2 = chr(t[1])
|
|
|
|
|
|
|
|
t = divmod(t[0], 256)
|
|
|
|
b3 = chr(t[1])
|
|
|
|
|
|
|
|
t = divmod(t[0], 256)
|
|
|
|
b4 = chr(t[1])
|
|
|
|
|
|
|
|
buf = b1 + b2 + b3 + b4
|
|
|
|
output.write(buf)
|
|
|
|
|
|
|
|
|
|
|
|
def read32(input):
|
|
|
|
buf = input.read(4)
|
|
|
|
v = ord(buf[0])
|
|
|
|
v = v + (ord(buf[1]) << 8)
|
|
|
|
v = v + (ord(buf[2]) << 16)
|
|
|
|
v = v + (ord(buf[3]) << 24)
|
|
|
|
return v
|
|
|
|
|
1997-07-19 20:22:23 +00:00
|
|
|
def open(filename, mode="r", compresslevel=9):
|
1997-04-30 16:04:57 +00:00
|
|
|
return GzipFile(filename, mode, compresslevel)
|
|
|
|
|
|
|
|
class GzipFile:
|
|
|
|
|
1997-07-19 20:22:23 +00:00
|
|
|
myfileobj = None
|
|
|
|
|
|
|
|
def __init__(self, filename=None, mode=None,
|
1998-03-26 21:13:24 +00:00
|
|
|
compresslevel=9, fileobj=None):
|
|
|
|
if fileobj is None:
|
|
|
|
fileobj = self.myfileobj = __builtin__.open(filename, mode or 'r')
|
1997-07-19 20:22:23 +00:00
|
|
|
if filename is None:
|
1998-03-26 21:13:24 +00:00
|
|
|
if hasattr(fileobj, 'name'): filename = fileobj.name
|
|
|
|
else: filename = ''
|
1997-07-19 20:22:23 +00:00
|
|
|
if mode is None:
|
1998-03-26 21:13:24 +00:00
|
|
|
if hasattr(fileobj, 'mode'): mode = fileobj.mode
|
|
|
|
else: mode = 'r'
|
|
|
|
|
|
|
|
if mode[0:1] == 'r':
|
|
|
|
self.mode = READ
|
|
|
|
self._init_read()
|
|
|
|
self.filename = filename
|
|
|
|
self.decompress = zlib.decompressobj(-zlib.MAX_WBITS)
|
|
|
|
|
|
|
|
elif mode[0:1] == 'w':
|
|
|
|
self.mode = WRITE
|
|
|
|
self._init_write(filename)
|
|
|
|
self.compress = zlib.compressobj(compresslevel,
|
|
|
|
zlib.DEFLATED,
|
|
|
|
-zlib.MAX_WBITS,
|
|
|
|
zlib.DEF_MEM_LEVEL,
|
|
|
|
0)
|
|
|
|
else:
|
|
|
|
raise ValueError, "Mode " + mode + " not supported"
|
|
|
|
|
|
|
|
self.fileobj = fileobj
|
|
|
|
|
|
|
|
if self.mode == WRITE:
|
|
|
|
self._write_gzip_header()
|
|
|
|
elif self.mode == READ:
|
|
|
|
self._read_gzip_header()
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def __repr__(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
s = repr(self.fileobj)
|
|
|
|
return '<gzip ' + s[1:-1] + ' ' + hex(id(self)) + '>'
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def _init_write(self, filename):
|
1998-03-26 21:13:24 +00:00
|
|
|
if filename[-3:] != '.gz':
|
|
|
|
filename = filename + '.gz'
|
|
|
|
self.filename = filename
|
|
|
|
self.crc = zlib.crc32("")
|
|
|
|
self.size = 0
|
|
|
|
self.writebuf = []
|
|
|
|
self.bufsize = 0
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def _write_gzip_header(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
self.fileobj.write('\037\213') # magic header
|
|
|
|
self.fileobj.write('\010') # compression method
|
|
|
|
fname = self.filename[:-3]
|
|
|
|
flags = 0
|
|
|
|
if fname:
|
|
|
|
flags = FNAME
|
|
|
|
self.fileobj.write(chr(flags))
|
|
|
|
write32(self.fileobj, int(time.time()))
|
|
|
|
self.fileobj.write('\002')
|
|
|
|
self.fileobj.write('\377')
|
|
|
|
if fname:
|
|
|
|
self.fileobj.write(fname + '\000')
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def _init_read(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
self.crc = zlib.crc32("")
|
|
|
|
self.size = 0
|
|
|
|
self.extrabuf = ""
|
|
|
|
self.extrasize = 0
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def _read_gzip_header(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
magic = self.fileobj.read(2)
|
|
|
|
if magic != '\037\213':
|
|
|
|
raise RuntimeError, 'Not a gzipped file'
|
|
|
|
method = ord( self.fileobj.read(1) )
|
|
|
|
if method != 8:
|
|
|
|
raise RuntimeError, 'Unknown compression method'
|
|
|
|
flag = ord( self.fileobj.read(1) )
|
|
|
|
# modtime = self.fileobj.read(4)
|
|
|
|
# extraflag = self.fileobj.read(1)
|
|
|
|
# os = self.fileobj.read(1)
|
|
|
|
self.fileobj.read(6)
|
|
|
|
|
|
|
|
if flag & FEXTRA:
|
|
|
|
# Read & discard the extra field, if present
|
|
|
|
xlen=ord(self.fileobj.read(1))
|
|
|
|
xlen=xlen+256*ord(self.fileobj.read(1))
|
|
|
|
self.fileobj.read(xlen)
|
|
|
|
if flag & FNAME:
|
|
|
|
# Read and discard a null-terminated string containing the filename
|
|
|
|
while (1):
|
|
|
|
s=self.fileobj.read(1)
|
|
|
|
if not s or s=='\000': break
|
|
|
|
if flag & FCOMMENT:
|
|
|
|
# Read and discard a null-terminated string containing a comment
|
|
|
|
while (1):
|
|
|
|
s=self.fileobj.read(1)
|
|
|
|
if not s or s=='\000': break
|
|
|
|
if flag & FHCRC:
|
|
|
|
self.fileobj.read(2) # Read & discard the 16-bit header CRC
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
|
|
|
|
def write(self,data):
|
1998-03-26 21:13:24 +00:00
|
|
|
if self.fileobj is None:
|
|
|
|
raise ValueError, "write() on closed GzipFile object"
|
|
|
|
if len(data) > 0:
|
|
|
|
self.size = self.size + len(data)
|
|
|
|
self.crc = zlib.crc32(data, self.crc)
|
|
|
|
self.fileobj.write( self.compress.compress(data) )
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def writelines(self,lines):
|
1998-03-26 21:13:24 +00:00
|
|
|
self.write(string.join(lines))
|
1997-04-30 16:04:57 +00:00
|
|
|
|
1998-05-13 21:49:58 +00:00
|
|
|
def read(self, size=None):
|
1998-03-26 21:13:24 +00:00
|
|
|
if self.extrasize <= 0 and self.fileobj is None:
|
|
|
|
return ''
|
|
|
|
|
|
|
|
readsize = 1024
|
|
|
|
if not size: # get the whole thing
|
|
|
|
try:
|
|
|
|
while 1:
|
|
|
|
self._read(readsize)
|
|
|
|
readsize = readsize * 2
|
|
|
|
except EOFError:
|
|
|
|
size = self.extrasize
|
|
|
|
else: # just get some more of it
|
|
|
|
try:
|
|
|
|
while size > self.extrasize:
|
|
|
|
self._read(readsize)
|
|
|
|
readsize = readsize * 2
|
|
|
|
except EOFError:
|
1998-08-03 15:41:39 +00:00
|
|
|
if size > self.extrasize:
|
|
|
|
size = self.extrasize
|
1998-03-26 21:13:24 +00:00
|
|
|
|
|
|
|
chunk = self.extrabuf[:size]
|
|
|
|
self.extrabuf = self.extrabuf[size:]
|
|
|
|
self.extrasize = self.extrasize - size
|
|
|
|
|
|
|
|
return chunk
|
1997-04-30 16:04:57 +00:00
|
|
|
|
1998-01-27 19:29:45 +00:00
|
|
|
def _unread(self, buf):
|
1998-03-26 21:13:24 +00:00
|
|
|
self.extrabuf = buf + self.extrabuf
|
1998-08-03 15:41:39 +00:00
|
|
|
self.extrasize = len(buf) + self.extrasize
|
1998-01-27 19:29:45 +00:00
|
|
|
|
|
|
|
def _read(self, size=1024):
|
1998-03-26 21:13:24 +00:00
|
|
|
try:
|
|
|
|
buf = self.fileobj.read(size)
|
|
|
|
except AttributeError:
|
|
|
|
raise EOFError, "Reached EOF"
|
|
|
|
if buf == "":
|
|
|
|
uncompress = self.decompress.flush()
|
|
|
|
if uncompress == "":
|
|
|
|
self._read_eof()
|
|
|
|
self.fileobj = None
|
|
|
|
raise EOFError, 'Reached EOF'
|
|
|
|
else:
|
|
|
|
uncompress = self.decompress.decompress(buf)
|
|
|
|
self.crc = zlib.crc32(uncompress, self.crc)
|
|
|
|
self.extrabuf = self.extrabuf + uncompress
|
|
|
|
self.extrasize = self.extrasize + len(uncompress)
|
|
|
|
self.size = self.size + len(uncompress)
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def _read_eof(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
# Andrew writes:
|
|
|
|
## We've read to the end of the file, so we have to rewind in order
|
|
|
|
## to reread the 8 bytes containing the CRC and the file size. The
|
|
|
|
## decompressor is smart and knows when to stop, so feeding it
|
|
|
|
## extra data is harmless.
|
|
|
|
self.fileobj.seek(-8, 2)
|
|
|
|
crc32 = read32(self.fileobj)
|
|
|
|
isize = read32(self.fileobj)
|
|
|
|
if crc32 != self.crc:
|
|
|
|
self.error = "CRC check failed"
|
|
|
|
elif isize != self.size:
|
|
|
|
self.error = "Incorrect length of data produced"
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def close(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
if self.mode == WRITE:
|
|
|
|
self.fileobj.write(self.compress.flush())
|
|
|
|
write32(self.fileobj, self.crc)
|
|
|
|
write32(self.fileobj, self.size)
|
|
|
|
self.fileobj = None
|
|
|
|
elif self.mode == READ:
|
|
|
|
self.fileobj = None
|
|
|
|
if self.myfileobj:
|
|
|
|
self.myfileobj.close()
|
|
|
|
self.myfileobj = None
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def flush(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
self.fileobj.flush()
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def seek(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
raise IOError, 'Random access not allowed in gzip files'
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def tell(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
raise IOError, 'I won\'t tell() you for gzip files'
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def isatty(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
return 0
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def readline(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
bufs = []
|
|
|
|
readsize = 100
|
|
|
|
while 1:
|
|
|
|
c = self.read(readsize)
|
|
|
|
i = string.find(c, '\n')
|
|
|
|
if i >= 0 or c == '':
|
1998-05-13 21:49:58 +00:00
|
|
|
bufs.append(c[:i+1])
|
1998-03-26 21:13:24 +00:00
|
|
|
self._unread(c[i+1:])
|
|
|
|
return string.join(bufs, '')
|
|
|
|
bufs.append(c)
|
|
|
|
readsize = readsize * 2
|
1997-04-30 16:04:57 +00:00
|
|
|
|
|
|
|
def readlines(self):
|
1998-03-26 21:13:24 +00:00
|
|
|
buf = self.read()
|
1998-08-03 15:41:39 +00:00
|
|
|
lines = string.split(buf, '\n')
|
|
|
|
for i in range(len(lines)-1):
|
|
|
|
lines[i] = lines[i] + '\n'
|
|
|
|
if lines and not lines[-1]:
|
|
|
|
del lines[-1]
|
|
|
|
return lines
|
1997-07-19 20:22:23 +00:00
|
|
|
|
|
|
|
def writelines(self, L):
|
1998-03-26 21:13:24 +00:00
|
|
|
for line in L:
|
|
|
|
self.write(line)
|
1997-12-30 20:09:08 +00:00
|
|
|
|
|
|
|
|
|
|
|
def _test():
|
|
|
|
# Act like gzip; with -d, act like gunzip.
|
|
|
|
# The input file is not deleted, however, nor are any other gzip
|
|
|
|
# options or features supported.
|
|
|
|
import sys
|
|
|
|
args = sys.argv[1:]
|
|
|
|
decompress = args and args[0] == "-d"
|
|
|
|
if decompress:
|
1998-03-26 21:13:24 +00:00
|
|
|
args = args[1:]
|
1997-12-30 20:09:08 +00:00
|
|
|
if not args:
|
1998-03-26 21:13:24 +00:00
|
|
|
args = ["-"]
|
1997-12-30 20:09:08 +00:00
|
|
|
for arg in args:
|
1998-03-26 21:13:24 +00:00
|
|
|
if decompress:
|
|
|
|
if arg == "-":
|
|
|
|
f = GzipFile(filename="", mode="rb", fileobj=sys.stdin)
|
|
|
|
g = sys.stdout
|
|
|
|
else:
|
|
|
|
if arg[-3:] != ".gz":
|
|
|
|
print "filename doesn't end in .gz:", `arg`
|
|
|
|
continue
|
|
|
|
f = open(arg, "rb")
|
|
|
|
g = __builtin__.open(arg[:-3], "wb")
|
|
|
|
else:
|
|
|
|
if arg == "-":
|
|
|
|
f = sys.stdin
|
|
|
|
g = GzipFile(filename="", mode="wb", fileobj=sys.stdout)
|
|
|
|
else:
|
|
|
|
f = __builtin__.open(arg, "rb")
|
|
|
|
g = open(arg + ".gz", "wb")
|
|
|
|
while 1:
|
|
|
|
chunk = f.read(1024)
|
|
|
|
if not chunk:
|
|
|
|
break
|
|
|
|
g.write(chunk)
|
|
|
|
if g is not sys.stdout:
|
|
|
|
g.close()
|
|
|
|
if f is not sys.stdin:
|
|
|
|
f.close()
|
1997-12-30 20:09:08 +00:00
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
_test()
|