def dump_json_file()

in scripts/merge_waf_checklists.py [0:0]


def dump_json_file(json_object, filename):
    if args.verbose:
        print("DEBUG: Dumping JSON object to file", filename)
    json_string = json.dumps(json_object, sort_keys=True, ensure_ascii=False, indent=4, separators=(',', ': '))
    with open(filename, 'w', encoding='utf-8') as f:
        f.write(json_string)
        f.close()