mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-01-12 11:45:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Don't show kernel-dead on manually shutdown kernel
This commit is contained in:
Thomas Kluyver 2015-01-16 15:11:25 -08:00
commit 0009fcc22b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
IPython/html/static/notebook/js/notificationarea.js
View File

@ -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 () {