(output_file, running_time)
| 13 | import pymesh |
| 14 | |
| 15 | def update_info(output_file, running_time): |
| 16 | name,ext = os.path.splitext(output_file); |
| 17 | info_file = name + ".info"; |
| 18 | if os.path.exists(info_file): |
| 19 | with open(info_file, 'r') as fin: |
| 20 | info = json.load(fin); |
| 21 | else: |
| 22 | info = {}; |
| 23 | |
| 24 | info = {"running_time": running_time}; |
| 25 | with open(info_file, 'w') as fout: |
| 26 | json.dump(info, fout, indent=4); |
| 27 | |
| 28 | def parse_args(): |
| 29 | parser = argparse.ArgumentParser(description=__doc__); |