def __serialize_string(res: io.IOBase, s: str) -> None:
if (s is None):
Utils.writeByteIO(res, 0xFF)
elif (len(s) == 0):
Utils.writeByteIO(res, 0)
else:
data = s.encode("UTF-8", 'ignore')
Utils.writeByteIO(res, len(data))
Utils.writeIO(res, data, 0, len(data))
def deflate_gzip(str0_: io.IOBase, res: io.IOBase) -> None:
with gzip.GzipFile(fileobj=str0_, mode='r') as deflate:
buf = Utils.newArrayOfBytes(100000, 0)
while True:
i = -1
try:
ii = 0
while ii < len(buf):
buf[ii] = (0)
ii += 1
i = Utils.readIO(deflate, buf, 0, len(buf))
except Exception as ex:
for i in range(len(buf) - 1, -1, -1):
if (buf[i] != (0)):
Utils.writeIO(res, buf, 0, i + 1)
break
else:
i = -1
break
if (i < 1):
break
Utils.writeIO(res, buf, 0, i)
