##// END OF EJS Templates
Better WebSocket detection added.
Brian E. Granger -
Show More
@@ -20,10 +20,12 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') {
23 if (typeof(WebSocket) !== 'undefined') {
24 this.WebSocket = WebSocket
25 } else if (typeof(MozWebSocket) !== 'undefined') {
24 this.WebSocket = MozWebSocket
26 this.WebSocket = MozWebSocket
25 } else {
27 } else {
26 this.WebSocket = WebSocket
28 alert('Your browser does not have WebSocket support, please try Chrome, Safari or Firefox 6');
27 };
29 };
28 };
30 };
29
31
General Comments 0
You need to be logged in to leave comments. Login now