don't restart channels on kernel restart

it wasn't actually necessary (proper fix in previous commit)
MinRK 13 years ago
parent e854617caf
commit 08cbf96075

@ -419,9 +419,6 @@ var IPython = (function (IPython) {
} else if (content.execution_state === 'idle') {
$([IPython.events]).trigger('status_idle.Kernel', {kernel: this});
} else if (content.execution_state === 'restarting') {
// restart channels if kernel restarts
// avoids unlikely corrupted connection
setTimeout($.proxy(this.start_channels, this), 500);
$([IPython.events]).trigger('status_restarting.Kernel', {kernel: this});
} else if (content.execution_state === 'dead') {
this.stop_channels();

Loading…
Cancel
Save