diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 16:22:22 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 16:22:22 -0500 |
| commit | b2c8d8dede8aeab37b53f6c8d923865db13fc7ec (patch) | |
| tree | 46a3762e7ca3be99877476d3bf3265eef2e8cb4f /tools/shared.py | |
| parent | b59434fe72cbbf035c1dcbc52bd0eb012c6228e4 (diff) | |
sort settings keys, to ensure the same order for debugging and jcache comparisons
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index d587a071..b0fe45d8 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -554,7 +554,7 @@ class Settings: ret = [] for key, value in Settings.__dict__.iteritems(): if key == key.upper(): # this is a hack. all of our settings are ALL_CAPS, python internals are not - jsoned = json.dumps(value) + jsoned = json.dumps(value, sort_keys=True) ret += ['-s', key + '=' + jsoned] return ret |