Merge pull request #7456 from minrk/change-not-dead

Don't show kernel-dead on manually shutdown kernel

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

@@ -148,8 +148,8 b' define(['
 
         this.events.on('kernel_killed.Kernel kernel_killed.Session', function () {
             that.save_widget.update_document_title();
-            knw.danger("Dead kernel");
-            $kernel_ind_icon.attr('class','kernel_dead_icon').attr('title','Kernel Dead');
+            knw.warning("No kernel");
+            $kernel_ind_icon.attr('class','kernel_busy_icon').attr('title','Kernel is not running');
         });
 
         this.events.on('kernel_dead.Kernel', function () {