##// END OF EJS Templates
add a dialog when the kernel is auto-restarted...
MinRK -
Show More
@@ -86,6 +86,18 b' var IPython = (function (IPython) {'
86 86 IPython.save_widget.update_document_title();
87 87 knw.set_message("Restarting kernel", 2000);
88 88 });
89
90 $([IPython.events]).on('status_autorestarting.Kernel',function () {
91 IPython.dialog.modal({
92 title: "Kernel Restarting",
93 body: "The kernel appears to have died. It is being restarted.",
94 buttons: {
95 OK : {
96 class : "btn-primary"
97 }
98 }
99 });
100 });
89 101
90 102 $([IPython.events]).on('status_interrupting.Kernel',function () {
91 103 knw.set_message("Interrupting kernel");
@@ -448,6 +448,11 b' var IPython = (function (IPython) {'
448 448 } else if (content.execution_state === 'idle') {
449 449 $([IPython.events]).trigger('status_idle.Kernel', {kernel: this});
450 450 } else if (content.execution_state === 'restarting') {
451 // autorestarting is distinct from restarting,
452 // in that it means the kernel died and the server is restarting it.
453 // status_restarting sets the notification widget,
454 // autorestart shows the more prominent dialog.
455 $([IPython.events]).trigger('status_autorestarting.Kernel', {kernel: this});
451 456 $([IPython.events]).trigger('status_restarting.Kernel', {kernel: this});
452 457 } else if (content.execution_state === 'dead') {
453 458 this.stop_channels();
General Comments 0
You need to be logged in to leave comments. Login now