Merge pull request #3243 from minrk/less-shouty

make js-generated UUIDs lowercase
This commit is contained in:
Thomas Kluyver 2018-01-27 10:22:04 +00:00 committed by GitHub
commit ae7d39af1e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -208,7 +208,7 @@ define([
* http://www.ietf.org/rfc/rfc4122.txt
*/
var s = [];
var hexDigits = "0123456789ABCDEF";
var hexDigits = "0123456789abcdef";
for (var i = 0; i < 32; i++) {
s[i] = hexDigits.substr(Math.floor(Math.random() * 0x10), 1);
}