##// END OF EJS Templates
Correct comment
Thomas Kluyver -
Show More
@@ -188,7 +188,7 b' class SessionManager(LoggingConfigurable):'
188 def row_to_model(self, row):
188 def row_to_model(self, row):
189 """Takes sqlite database session row and turns it into a dictionary"""
189 """Takes sqlite database session row and turns it into a dictionary"""
190 if row['kernel_id'] not in self.kernel_manager:
190 if row['kernel_id'] not in self.kernel_manager:
191 # The kernel was killed without deleting the session. Should never occur.
191 # The kernel was killed or died without deleting the session.
192 self.delete_session(row['session_id'])
192 self.delete_session(row['session_id'])
193 raise KeyError
193 raise KeyError
194
194
General Comments 0
You need to be logged in to leave comments. Login now