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