##// END OF EJS Templates
fix undefined 'session_id' member in kernel.js
MinRK -
Show More
@@ -20,6 +20,10 b' var IPython = (function (IPython) {'
20 this.shell_channel = null;
20 this.shell_channel = null;
21 this.iopub_channel = null;
21 this.iopub_channel = null;
22 this.running = false;
22 this.running = false;
23
24 this.username = "username";
25 this.session_id = utils.uuid();
26
23 if (typeof(WebSocket) !== 'undefined') {
27 if (typeof(WebSocket) !== 'undefined') {
24 this.WebSocket = WebSocket
28 this.WebSocket = WebSocket
25 } else if (typeof(MozWebSocket) !== 'undefined') {
29 } else if (typeof(MozWebSocket) !== 'undefined') {
@@ -34,8 +38,8 b' var IPython = (function (IPython) {'
34 var msg = {
38 var msg = {
35 header : {
39 header : {
36 msg_id : utils.uuid(),
40 msg_id : utils.uuid(),
37 username : "username",
41 username : this.username,
38 session: this.session_id,
42 session : this.session_id,
39 msg_type : msg_type
43 msg_type : msg_type
40 },
44 },
41 content : content,
45 content : content,
General Comments 0
You need to be logged in to leave comments. Login now