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()