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)