##// END OF EJS Templates
avoid double websocket-close message
MinRK -
Show More
@@ -98,8 +98,10 b' var IPython = (function (IPython) {'
98 " or if the url does not look right, there could be an error in the" +
98 " or if the url does not look right, there could be an error in the" +
99 " server's configuration.";
99 " server's configuration.";
100 } else {
100 } else {
101 this.start_channels();
101 IPython.notification_widget.set_message('Reconnecting Websockets', 1000);
102 }
102 this.start_channels();
103 return;
104 }
103 var dialog = $('<div/>');
105 var dialog = $('<div/>');
104 dialog.html(msg);
106 dialog.html(msg);
105 parent_item.append(dialog);
107 parent_item.append(dialog);
General Comments 0
You need to be logged in to leave comments. Login now