On 26.01.2018 09:56, Maxin B. John wrote:
@@ -44,4 +44,4 @@ if __name__ == '__main__':
}
with open(args.out, 'w') as f:
- json.dump(json_data, f, indent = 4)
+ json.dump(json_data, f, indent = 4, sort_keys=True)
I'm slightly confused what exactly causes the issue.
Please shed some light so we can add it to the commit message.
As nobody answered earlier...
Python dicts do not guarantee any key order at all.
Practically, I think the order depends on the hash value of the key -
but, since Python uses a different hash seed every time (security
reasons or so), the hash values change every time, and thus any order of
the keys changes as well.
Sorting keys obviously guarantees a specific order.
-f.r.
_______________________________________________
mesa-dev mailing list
mesa-dev@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/mesa-dev
