##// END OF EJS Templates
set busy/idle around every message...
MinRK -
Show More
@@ -136,7 +136,11 b' class Kernel(Configurable):'
136 return
136 return
137
137
138 self.log.debug("Control received: %s", msg)
138 self.log.debug("Control received: %s", msg)
139
139
140 # Set the parent message for side effects.
141 self.set_parent(idents, msg)
142 self._publish_status(u'busy')
143
140 header = msg['header']
144 header = msg['header']
141 msg_type = header['msg_type']
145 msg_type = header['msg_type']
142
146
@@ -148,6 +152,10 b' class Kernel(Configurable):'
148 handler(self.control_stream, idents, msg)
152 handler(self.control_stream, idents, msg)
149 except Exception:
153 except Exception:
150 self.log.error("Exception in control handler:", exc_info=True)
154 self.log.error("Exception in control handler:", exc_info=True)
155
156 sys.stdout.flush()
157 sys.stderr.flush()
158 self._publish_status(u'idle')
151
159
152 def dispatch_shell(self, stream, msg):
160 def dispatch_shell(self, stream, msg):
153 """dispatch shell requests"""
161 """dispatch shell requests"""
@@ -894,7 +894,7 b' Message type: ``status``::'
894
894
895 .. versionchanged:: 5.0
895 .. versionchanged:: 5.0
896
896
897 Busy and idle messages should be sent before/after handling every shell message,
897 Busy and idle messages should be sent before/after handling every message,
898 not just execution.
898 not just execution.
899
899
900 Clear output
900 Clear output
General Comments 0
You need to be logged in to leave comments. Login now