python: Specify the JSON separators

On Python 2, the default JSON separators are ', ' for items and ': ' for
dicts.

On Python 3, the default is the same when no indent is specified, but if
one is (and we do specify one) then the default items separator becomes
',' (the dict separator remains unchanged).

This change explicitly specifies the Python 3 default, which helps
ensuring that the output is identical, whether it was generated by
Python 2 or 3.

Reviewed-by: Eric Engestrom <eric.engestrom@intel.com>
This commit is contained in:
Mathieu Bridon 2018-06-27 12:37:39 +02:00 committed by Eric Engestrom
parent fe8a153648
commit f9b6dfd919
2 changed files with 2 additions and 2 deletions

View file

@ -44,4 +44,4 @@ if __name__ == '__main__':
}
with open(args.out, 'w') as f:
json.dump(json_data, f, indent = 4, sort_keys=True)
json.dump(json_data, f, indent = 4, sort_keys=True, separators=(',', ': '))

View file

@ -44,4 +44,4 @@ if __name__ == '__main__':
}
with open(args.out, 'w') as f:
json.dump(json_data, f, indent = 4, sort_keys=True)
json.dump(json_data, f, indent = 4, sort_keys=True, separators=(',', ': '))