Skip to content

Commit

Permalink
Merge pull request #4 from jackh726/master
Browse files Browse the repository at this point in the history
Fix write_metrics in mkarv
  • Loading branch information
umijh authored Aug 23, 2017
2 parents f61b66a + df7ead1 commit 31fbe3e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/scripts/mkarv
Original file line number Diff line number Diff line change
Expand Up @@ -554,7 +554,7 @@ def write_metrics(indent, metrics):

with gzip.open(output_filename, 'wt') as output_file:
try:
new_json = json.dumps([metrics], output_file, sort_keys=True, indent=indent, ensure_ascii=False)
new_json = json.dumps([metrics], sort_keys=True, indent=indent, ensure_ascii=False)
output_file.write(new_json)
except Exception as e:
print('Could not write file {}: {}'.format(output_filename, e), file=sys.stderr)
Expand Down

0 comments on commit 31fbe3e

Please sign in to comment.