##// END OF EJS Templates
Adding code to handle MozWebSocket for FF 6.
Brian E. Granger -
Show More
@@ -20,6 +20,11 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 if (typeof(WebSocket) === 'undefined') {
24 this.WebSocket = MozWebSocket
25 } else {
26 this.WebSocket = WebSocket
27 };
23 };
28 };
24
29
25
30
@@ -82,8 +87,8 b' var IPython = (function (IPython) {'
82 this.stop_channels();
87 this.stop_channels();
83 var ws_url = this.ws_url + this.kernel_url;
88 var ws_url = this.ws_url + this.kernel_url;
84 console.log("Starting WS:", ws_url);
89 console.log("Starting WS:", ws_url);
85 this.shell_channel = new WebSocket(ws_url + "/shell");
90 this.shell_channel = new this.WebSocket(ws_url + "/shell");
86 this.iopub_channel = new WebSocket(ws_url + "/iopub");
91 this.iopub_channel = new this.WebSocket(ws_url + "/iopub");
87 };
92 };
88
93
89
94
General Comments 0
You need to be logged in to leave comments. Login now