Reconnect when the websocket connection closes unexpectedly

pull/37/head
Roy Hyunjin Han 14 years ago
parent cdfc81c542
commit ec3babe3ff

@ -98,9 +98,8 @@ var IPython = (function (IPython) {
" or if the url does not look right, there could be an error in the" +
" server's configuration.";
} else {
msg = "Websocket connection closed unexpectedly." +
" The kernel will no longer be responsive.";
}
this.start_channels();
}
var dialog = $('<div/>');
dialog.html(msg);
parent_item.append(dialog);

Loading…
Cancel
Save