|
@ -41,6 +41,9 @@ def main(args: argparse.Namespace) -> None: |
|
|
min_round = round + 1 |
|
|
min_round = round + 1 |
|
|
# if requested, dump state to file instead |
|
|
# if requested, dump state to file instead |
|
|
if args.save_state is not None: |
|
|
if args.save_state is not None: |
|
|
|
|
|
if args.save_state == "-": |
|
|
|
|
|
print(json.dumps(state)) |
|
|
|
|
|
else: |
|
|
with open(args.save_state, "w") as f: |
|
|
with open(args.save_state, "w") as f: |
|
|
json.dump(state, f) |
|
|
json.dump(state, f) |
|
|
return |
|
|
return |
|
|