data/split.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

import json

def split_file(input_filename):
    chunk_size = 102400  # 100kB
    part_number = 1
    parts = []
    with open(input_filename, 'rb') as input_file:
        while True:
            data = input_file.read(chunk_size)
            if not data:
                break
            output_filename = f'card_db_parts/part{part_number}'
            with open(output_filename, 'wb') as output_file:
                output_file.write(data)
            parts.append(f'part{part_number}')
            part_number += 1
        with open("card_db_parts/index.json", 'w') as fp:
            fp.write(json.dumps(parts))
    print(f"file splited to {part_number-1} parts")

# 示例用法
split_file('card_db.json')
version = None
with open("card_db_parts/version.json", 'r') as fp:
    version = fp.read()
    version = int(version)
with open("card_db_parts/version.json", 'w') as fp:
    fp.write(str(version+1))