Merge pull request #3493 from minrk/restart-dialog

add a dialog when the kernel is auto-restarted

IPython/html/static/notebook/js/notebook.js

@@ -124,6 +124,18 b' var IPython = (function (IPython) {'
             that.select(index);
         });
 
+        $([IPython.events]).on('status_autorestarting.Kernel', function () {
+            IPython.dialog.modal({
+                title: "Kernel Restarting",
+                body: "The kernel appears to have died. It will restart automatically.",
+                buttons: {
+                    OK : {
+                        class : "btn-primary"
+                    }
+                }
+            });
+        });
+
 
         $(document).keydown(function (event) {
             // console.log(event);

IPython/html/static/services/kernels/js/kernel.js

@@ -448,6 +448,11 b' var IPython = (function (IPython) {'
             } else if (content.execution_state === 'idle') {
                 $([IPython.events]).trigger('status_idle.Kernel', {kernel: this});
             } else if (content.execution_state === 'restarting') {
+                // autorestarting is distinct from restarting,
+                // in that it means the kernel died and the server is restarting it.
+                // status_restarting sets the notification widget,
+                // autorestart shows the more prominent dialog.
+                $([IPython.events]).trigger('status_autorestarting.Kernel', {kernel: this});
                 $([IPython.events]).trigger('status_restarting.Kernel', {kernel: this});
             } else if (content.execution_state === 'dead') {
                 this.stop_channels();