From 510c88372851d9e387461501dda002573412c864 Mon Sep 17 00:00:00 2001 From: Min RK Date: Wed, 14 Jan 2015 11:17:33 -0800 Subject: [PATCH] Don't show kernel-dead on manually shutdown kernel When there is no kernel, show 'No kernel', and set kernel-busy instead of showing read dead and bomb. This is different from kernel-dead --- IPython/html/static/notebook/js/notificationarea.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/IPython/html/static/notebook/js/notificationarea.js b/IPython/html/static/notebook/js/notificationarea.js index 3ab9555cf..d8c117b5a 100644 --- a/IPython/html/static/notebook/js/notificationarea.js +++ b/IPython/html/static/notebook/js/notificationarea.js @@ -148,8 +148,8 @@ 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 () {