make js-generated UUIDs lowercase

minrk · minrk · commit 44c99143e91a · 2018-01-22T13:49:09.000+01:00
so it's less shouty when debugging messages

We don't ever need official UUIDs as specified, just sufficiently random strings.
diff --git a/notebook/static/base/js/utils.js b/notebook/static/base/js/utils.js
@@ -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);
         }

Original file line number	Diff line number	Diff line change
`@@ -208,7 +208,7 @@ define([`
`208`	`208`	`* http://www.ietf.org/rfc/rfc4122.txt`
`209`	`209`	`*/`
`210`	`210`	`var s = [];`
`211`		`- var hexDigits = "0123456789ABCDEF";`
	`211`	`+ var hexDigits = "0123456789abcdef";`
`212`	`212`	`for (var i = 0; i < 32; i++) {`
`213`	`213`	`s[i] = hexDigits.substr(Math.floor(Math.random() * 0x10), 1);`
`214`	`214`	`}`