##// 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 20 this.shell_channel = null;
21 21 this.iopub_channel = null;
22 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 87 this.stop_channels();
83 88 var ws_url = this.ws_url + this.kernel_url;
84 89 console.log("Starting WS:", ws_url);
85 this.shell_channel = new WebSocket(ws_url + "/shell");
86 this.iopub_channel = new WebSocket(ws_url + "/iopub");
90 this.shell_channel = new this.WebSocket(ws_url + "/shell");
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