2016-06-29 21:20:06 +00:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
|
|
|
import json
|
|
|
|
import struct
|
|
|
|
import sys
|
|
|
|
import zlib
|
|
|
|
|
2018-12-07 09:10:55 +00:00
|
|
|
try:
|
|
|
|
xrange # Python 2
|
2019-08-24 08:58:58 +00:00
|
|
|
PY2 = True
|
2018-12-07 09:10:55 +00:00
|
|
|
except NameError:
|
2019-08-24 08:58:58 +00:00
|
|
|
PY2 = False
|
2018-12-07 09:10:55 +00:00
|
|
|
xrange = range # Python 3
|
|
|
|
|
|
|
|
|
2016-06-29 21:20:06 +00:00
|
|
|
if __name__ == '__main__':
|
2019-08-24 08:58:58 +00:00
|
|
|
with open(sys.argv[1]) as fp:
|
|
|
|
obj = json.load(fp)
|
|
|
|
text = json.dumps(obj, separators=(',', ':')).encode('utf-8')
|
2016-06-29 21:20:06 +00:00
|
|
|
data = zlib.compress(text, zlib.Z_BEST_COMPRESSION)
|
|
|
|
|
|
|
|
# To make decompression a little easier, we prepend the compressed data
|
|
|
|
# with the size of the uncompressed data as a 24 bits BE unsigned integer.
|
2022-04-19 22:46:37 +00:00
|
|
|
assert len(text) < 1 << 24, 'Uncompressed JSON must be < 16 MiB.'
|
2016-06-29 21:20:06 +00:00
|
|
|
data = struct.pack('>I', len(text))[1:4] + data
|
|
|
|
|
|
|
|
step = 20
|
|
|
|
slices = (data[i:i+step] for i in xrange(0, len(data), step))
|
2019-08-24 08:58:58 +00:00
|
|
|
slices = [','.join(str(ord(c) if PY2 else c) for c in s) for s in slices]
|
2016-06-29 21:20:06 +00:00
|
|
|
text = ',\n'.join(slices)
|
|
|
|
|
2019-08-24 08:58:58 +00:00
|
|
|
with open(sys.argv[2], 'w') as fp:
|
|
|
|
fp.write(text)
|