From 0e109ee4bebfb6e324bb95aa1a2b03e0b62f3485 Mon Sep 17 00:00:00 2001 From: Thomas Kluyver Date: Fri, 5 Sep 2014 09:40:02 -0700 Subject: [PATCH] Correct comment --- IPython/html/services/sessions/sessionmanager.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/IPython/html/services/sessions/sessionmanager.py b/IPython/html/services/sessions/sessionmanager.py index 2e579c376..e347c055c 100644 --- a/IPython/html/services/sessions/sessionmanager.py +++ b/IPython/html/services/sessions/sessionmanager.py @@ -188,7 +188,7 @@ class SessionManager(LoggingConfigurable): def row_to_model(self, row): """Takes sqlite database session row and turns it into a dictionary""" if row['kernel_id'] not in self.kernel_manager: - # The kernel was killed without deleting the session. Should never occur. + # The kernel was killed or died without deleting the session. self.delete_session(row['session_id']) raise KeyError