##// END OF EJS Templates
js comment about session id in first message
MinRK -
Show More
@@ -131,6 +131,8 b' var IPython = (function (IPython) {'
131 this.stdin_channel = new this.WebSocket(ws_url + "/stdin");
131 this.stdin_channel = new this.WebSocket(ws_url + "/stdin");
132 this.iopub_channel = new this.WebSocket(ws_url + "/iopub");
132 this.iopub_channel = new this.WebSocket(ws_url + "/iopub");
133 send_cookie = function(){
133 send_cookie = function(){
134 // send the session id so the Session object Python-side
135 // has the same identity
134 this.send(that.session_id + ':' + document.cookie);
136 this.send(that.session_id + ':' + document.cookie);
135 };
137 };
136 var already_called_onclose = false; // only alert once
138 var already_called_onclose = false; // only alert once
General Comments 0
You need to be logged in to leave comments. Login now