diff --git a/IPython/frontend/html/notebook/static/js/kernel.js b/IPython/frontend/html/notebook/static/js/kernel.js
index 6846336..8b7829d 100644
--- a/IPython/frontend/html/notebook/static/js/kernel.js
+++ b/IPython/frontend/html/notebook/static/js/kernel.js
@@ -20,6 +20,11 @@ var IPython = (function (IPython) {
this.shell_channel = null;
this.iopub_channel = null;
this.running = false;
+ if (typeof(WebSocket) === 'undefined') {
+ this.WebSocket = MozWebSocket
+ } else {
+ this.WebSocket = WebSocket
+ };
};
@@ -82,8 +87,8 @@ var IPython = (function (IPython) {
this.stop_channels();
var ws_url = this.ws_url + this.kernel_url;
console.log("Starting WS:", ws_url);
- this.shell_channel = new WebSocket(ws_url + "/shell");
- this.iopub_channel = new WebSocket(ws_url + "/iopub");
+ this.shell_channel = new this.WebSocket(ws_url + "/shell");
+ this.iopub_channel = new this.WebSocket(ws_url + "/iopub");
};