scripts/split_json.py

   1 """Split JSON output of planners if there is more results in one file."""
   2 import json
   3 import sys
   4
   5 if __name__ == "__main__":
   6     if len(sys.argv) != 2:
   7         print("Put filename as argument to script.")
   8         exit(1)
   9     results = []
  10     with open(sys.argv[1], "r") as f:
  11         results = json.loads(f.read())
  12     for i in range(len(results)):
  13         with open("{}.{}".format(sys.argv[1], i), "w") as f:
  14             f.write(json.dumps(results[i]))