import time
import string
import zlib
-import StringIO
import __builtin__
# implements a python function that reads and writes a gzipped file
def writelines(self,lines):
self.write(string.join(lines))
- def read(self,size=None):
+ def read(self, size=None):
if self.extrasize <= 0 and self.fileobj is None:
return ''
def _unread(self, buf):
self.extrabuf = buf + self.extrabuf
- self.extrasize = len(buf) + self.extrasize
+ self.extrasize = len(self.extrabuf)
def _read(self, size=1024):
try:
c = self.read(readsize)
i = string.find(c, '\n')
if i >= 0 or c == '':
- bufs.append(c[:i])
+ bufs.append(c[:i+1])
self._unread(c[i+1:])
return string.join(bufs, '')
bufs.append(c)