Avoid creating a whitespace at the end of the manifest.json file

Hainish · Hainish · commit 92980455d5a6 · 2017-07-19T15:58:28.000-07:00
diff --git a/utils/setversion.py b/utils/setversion.py
@@ -14,7 +14,7 @@
 f.close()
 manifest['version'] = `t.year` +'.'+ `t.month` +'.'+ `t.day`
 f = open('chromium/manifest.json','w')
-f.write(json.dumps(manifest,indent=4,sort_keys=True))
+f.write(json.dumps(manifest,indent=4,sort_keys=True,separators=(',', ': ')))
 
 def replace_in_file(from_re, to, filename):
     contents = open(filename).read()
