From 44c99143e91aaf02fbd2d8dc96d93a25461c7bcf Mon Sep 17 00:00:00 2001
From: Min RK <benjaminrk@gmail.com>
Date: Mon, 22 Jan 2018 13:49:09 +0100
Subject: [PATCH] make js-generated UUIDs lowercase

so it's less shouty when debugging messages

We don't ever need official UUIDs as specified, just sufficiently random strings.
---
 notebook/static/base/js/utils.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notebook/static/base/js/utils.js b/notebook/static/base/js/utils.js
index a780b738c..8f54a6384 100644
--- 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);
         }